experiment: ci-run

strategy: proptest

property: TryReserveOverflowReturnsErr

mode: solve

status: failed

tool: proptest


strategy: quickcheck

tool: quickcheck


strategy: crabcheck

tool: crabcheck


strategy: hegel

tool: hegel


counterexample: ("\\S=qA;LFvNwuQ" 3)