Exercise logic.propositional.dnf.unicode
Description
Proposition to DNF (unicode support)
Test report
Tests | 94 |
Errors | 1 |
Warnings | 35 |
Time | 5.000709s |
Rating |
Suites
- Exercise logic.propositional.dnf.unicode (tests: 94, errors: 1, warnings: 35, 5.000673s)
Errors
soundness strategy/generator: Exception: '<<timeout>>'
Tests
Exercise logic.propositional.dnf.unicode (tests: 94, errors: 1, warnings: 35, 5.000673s)
Examples (tests: 45, errors: 0, warnings: 0, 0.042749s)
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
parameters
Soundness non-buggy rules (tests: 44, errors: 0, warnings: 35, 0.039504s)
andoveror.inv: passed only 0 tests
compland.sort: passed only 0 tests
complor.sort: passed only 1 tests
defequiv.inv: passed only 0 tests
defimpl.inv: passed only 8 tests
falsezeroor.inv
idempand.inv
idempor.inv
logic.propositional.absorpand: passed only 0 tests
logic.propositional.absorpor: passed only 1 tests
logic.propositional.andoveror
logic.propositional.assocand: passed only 4 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 0 tests
logic.propositional.defequiv: passed only 5 tests
logic.propositional.defimpl
logic.propositional.demorganand: passed only 5 tests
logic.propositional.demorganor: passed only 3 tests
logic.propositional.falsezeroand: passed only 1 tests
logic.propositional.falsezeroor: passed only 3 tests
logic.propositional.genandoveror: passed only 2 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 0 tests
logic.propositional.idempor: passed only 4 tests
logic.propositional.invandoveror: passed only 0 tests
logic.propositional.invdemorganand: passed only 1 tests
logic.propositional.invdemorganor: passed only 1 tests
logic.propositional.invoroverand: passed only 0 tests
logic.propositional.notfalse: passed only 1 tests
logic.propositional.notnot: passed only 4 tests
logic.propositional.nottrue: passed only 2 tests
logic.propositional.oroverand: passed only 8 tests
logic.propositional.truezeroand: passed only 3 tests
logic.propositional.truezeroor: passed only 0 tests
notfalse.inv: passed only 7 tests
notnot.inv
nottrue.inv: passed only 2 tests
oroverand.inv: passed only 1 tests
truezeroand.inv
exercise terms defined
equivalence implemented
similarity implemented
parser/pretty printer
soundness strategy/generator: Exception: '<<timeout>>'