| Test kind | Test name | Test outcome |
|---|---|---|
| Random-based | succ test | 100/100 cases passed |
| Random-based | untitled no 1 | 7/10 cases passed
counterexamples: 1, 0 |
| Random-based | sum of odds | 200/200 cases passed |
| Random-based | strings | 0/2 case passed
counterexamples: "DL", "OonjRvy" categories: short -> 1 occurrence long -> 1 occurrence |
| Random-based | lists | 0/2 case passed
counterexamples: [ 2; 1; 3; 3; 3; 4; ], [ 4; 6; 3; 6; ] |
Generated by Kaputt 1.0