num-bigint rust

Total: 200 trials · 0 passed · 160 failed

Crate: num-bigint
Base commit: 2d4e38b1b241

Per-property results

Propertypassedfailedotherverdict
IsMultipleOfZero0400bug found
MulSquareAllOnes0800bug found
NegIsizeAddassign0400bug found
ScalarDivByZeroPanics0040—
Interactive report ↗ JSON (/report.json) Raw store (/store.jsonl) etna.toml