Exercise logic.propositional.dnf
Description
Proposition to DNF
Test report
| Tests | 94 |
| Errors | 1 |
| Warnings | 35 |
| Time | 4.991851s |
| Rating |  |
Suites
- Exercise logic.propositional.dnf (tests: 94, errors: 1, warnings: 35, 4.991816s)
Errors
soundness strategy/generator: Exception: '<<timeout>>'Tests
Exercise logic.propositional.dnf (tests: 94, errors: 1, warnings: 35, 4.991816s)
Examples (tests: 45, errors: 0, warnings: 0, 0.048288s)
start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parameters start term is suitable start term is not ready final term is suitable final term is ready parser/pretty-printer equivalences no similar steps self similarity parametersSoundness non-buggy rules (tests: 44, errors: 0, warnings: 35, 0.044697s)
andoveror.inv: passed only 0 tests compland.sort: passed only 0 tests complor.sort: passed only 0 tests defequiv.inv: passed only 0 tests defimpl.inv: passed only 5 tests falsezeroor.inv idempand.inv idempor.inv logic.propositional.absorpand: passed only 4 tests logic.propositional.absorpor: passed only 4 tests logic.propositional.andoveror: passed only 7 tests logic.propositional.assocand: passed only 9 tests logic.propositional.assocor: passed only 7 tests logic.propositional.command logic.propositional.commor logic.propositional.compland: passed only 1 tests logic.propositional.complor: passed only 1 tests logic.propositional.defequiv logic.propositional.defimpl logic.propositional.demorganand: passed only 4 tests logic.propositional.demorganor: passed only 6 tests logic.propositional.falsezeroand: passed only 5 tests logic.propositional.falsezeroor: passed only 4 tests logic.propositional.genandoveror: passed only 0 tests logic.propositional.gendemorganand: passed only 0 tests logic.propositional.gendemorganor: passed only 1 tests logic.propositional.genoroverand: passed only 1 tests logic.propositional.idempand: passed only 3 tests logic.propositional.idempor: passed only 3 tests logic.propositional.invandoveror: passed only 0 tests logic.propositional.invdemorganand: passed only 0 tests logic.propositional.invdemorganor: passed only 0 tests logic.propositional.invoroverand: passed only 0 tests logic.propositional.notfalse: passed only 1 tests logic.propositional.notnot: passed only 2 tests logic.propositional.nottrue: passed only 1 tests logic.propositional.oroverand: passed only 3 tests logic.propositional.truezeroand: passed only 6 tests logic.propositional.truezeroor: passed only 4 tests notfalse.inv: passed only 1 tests notnot.inv nottrue.inv: passed only 1 tests oroverand.inv: passed only 1 tests truezeroand.inv exercise terms defined equivalence implemented similarity implemented parser/pretty printer soundness strategy/generator: Exception: '<<timeout>>'