laws
3,051 tests across 33 atoms.
2,955 agree 4 differs 92 ruled
| Atom | Tests | Differ | Ruled | Fixed | |
|---|---|---|---|---|---|
| laws/chars-is-comb-elems ({A}).chars === ({A}).comb.elems | 7 | · | · | · | |
| laws/concat-associates ((({A}) ~ ({B})) ~ ({C})) === (({A}) ~ (({B}) ~ ({C}))) | 343 | · | · | · | |
| laws/concat-is-join ({A}) ~ ({B}) === (({A}), ({B})).join("") | 49 | · | · | · | |
| laws/de-morgan-and !((?({A})) && (?({B}))) === (!(?({A}))) || (!(?({B}))) | 64 | · | · | · | |
| laws/de-morgan-or !((?({A})) || (?({B}))) === (!(?({A}))) && (!(?({B}))) | 64 | · | · | · | |
| laws/double-negate -(-({A})) === +({A}) | 11 | · | · | · | |
| laws/eq-commutes ({A}) == ({B}) === ({B}) == ({A}) | 121 | · | · | · | |
| laws/eqv-commutes ({A}) eqv ({B}) === ({B}) eqv ({A}) | 121 | · | · | · | |
| laws/flip-is-involution ({A}).flip.flip === ({A}).Str | 7 | · | · | · | |
| laws/le-is-not-gt ({A}) <= ({B}) === !(({A}) > ({B})) | 121 | · | 21 | · | |
| laws/lt-is-gt-flipped ({A}) < ({B}) === ({B}) > ({A}) | 121 | · | · | · | |
| laws/max-commutes ({A}) max ({B}) === ({B}) max ({A}) | 121 | · | 18 | · | |
| laws/max-is-list-max ({A}) max ({B}) === (({A}), ({B})).max | 121 | 2 | 11 | · | |
| laws/min-commutes ({A}) min ({B}) === ({B}) min ({A}) | 121 | · | 18 | · | |
| laws/min-is-list-min ({A}) min ({B}) === (({A}), ({B})).min | 121 | 2 | 11 | · | |
| laws/ne-is-not-eq ({A}) != ({B}) === !(({A}) == ({B})) | 121 | · | · | · | |
| laws/negate-is-subtract -({A}) === 0 - ({A}) | 11 | · | 1 | · | |
| laws/not-is-negated-Bool !({A}) === !(({A}).Bool) | 8 | · | · | · | |
| laws/plus-associates (({A}) + ({B})) + ({C}) === ({A}) + (({B}) + ({C})) | 343 | · | · | · | |
| laws/plus-commutes ({A}) + ({B}) === ({B}) + ({A}) | 121 | · | · | · | |
| laws/plus-is-Numeric +({A}) === ({A}).Numeric | 11 | · | · | · | |
| laws/question-is-Bool ?({A}) === ({A}).Bool | 8 | · | · | · | |
| laws/reduce-is-infix-plus ({A}) + ({B}) === [+] (({A}), ({B})) | 121 | · | · | · | |
| laws/reduce-is-infix-times ({A}) * ({B}) === [*] (({A}), ({B})) | 121 | · | · | · | |
| laws/reverse-is-involution ({A}).reverse.reverse === ({A}).list | 7 | · | 7 | · | |
| laws/reverse-keeps-length ({A}).reverse.elems === ({A}).elems | 7 | · | · | · | |
| laws/sort-keeps-length ({A}).sort.elems === ({A}).elems | 7 | · | · | · | |
| laws/strne-is-not-streq ({A}) ne ({B}) === !(({A}) eq ({B})) | 49 | · | · | · | |
| laws/sum-is-reduce (({A}), ({B})).sum === [+] (({A}), ({B})) | 121 | · | 1 | · | |
| laws/tilde-is-Str ~({A}) === ({A}).Str | 11 | · | · | · | |
| laws/times-associates (({A}) * ({B})) * ({C}) === ({A}) * (({B}) * ({C})) | 343 | · | 4 | · | |
| laws/times-commutes ({A}) * ({B}) === ({B}) * ({A}) | 121 | · | · | · | |
| laws/uc-lc-is-lc ({A}).uc.lc === ({A}).lc | 7 | · | · | · |