Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
AbsSubDifference | 0 | 40 | 0 | bug found |
CheckedDivNoPanic | 0 | 40 | 0 | bug found |
CheckedLnNoPanic | 40 | 0 | 0 | — |
FromI128Extremes | 0 | 40 | 0 | bug found |
FromScientificNoPanic | 10 | 30 | 0 | bug found |
IsIntegerMatchesString | 34 | 6 | 0 | bug found |
RoundDpPreservesWhenDpExceedsScale | 0 | 40 | 0 | bug found |
ScientificFmtRoundtrip | 10 | 30 | 0 | bug found |