experiment: ci-run

workload: regex

strategy: proptest

property: GcNeSeparatorNegation

mode: solve

status: failed

tool: proptest

counterexample:
Test failed: expected 'a' (non-separator) to match \p{gc!=Separator}.
minimal failing input: 0


strategy: quickcheck

tool: quickcheck

counterexample: quickcheck counterexample: (0)


strategy: crabcheck

tool: crabcheck

counterexample: crabcheck counterexample: (0)


strategy: hegel

tool: hegel

counterexample: hegel found counterexample: Property test failed: expected 'a' (non-separator) to match \p{gc!=Separator}


property: CaptureLocationsGetOverflow

counterexample:
Test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None.
minimal failing input: 63


counterexample: quickcheck counterexample: (63)


counterexample: crabcheck counterexample: (1)


counterexample: hegel found counterexample: Property test failed: CaptureLocations::get(9223372036854775808) returned Some; expected None


property: AlternationLiteralFromAlt

counterexample:
Test failed: is_alternation_literal() = true for "(?:z|xx)@|xx", but "(?:z|xx)@" is not a literal.
minimal failing input: 0


counterexample: hegel found counterexample: Property test failed: is_alternation_literal() = true for "(?:z|xx)@|xx", but "(?:z|xx)@" is not a literal