num-rational rust

Total: 160 trials · 12 passed · 148 failed

Rational numbers (Ratio<T>) — ETNA workload.

Crate: num-rational
Base commit: 4d55ad22ac86

Per-property results

Propertypassedfailedotherverdict
CmpOverflowSafe0400bug found
CmpZeroNumerEqual0400bug found
IsPosNegZeroExcluded12280bug found
RecipZeroPanicAndSignNorm0400bug found
Interactive report ↗ JSON (/report.json) Raw store (/store.jsonl) etna.toml