Exercise logic.propositional.cnf.unicode
Description
Proposition to CNF (unicode support)
Test report
Tests | 94 |
Errors | 1 |
Warnings | 35 |
Time | 5.00286s |
Rating |
Suites
- Exercise logic.propositional.cnf.unicode (tests: 94, errors: 1, warnings: 35, 5.002828s)
Errors
soundness strategy/generator: Exception: '<<timeout>>'
Tests
Exercise logic.propositional.cnf.unicode (tests: 94, errors: 1, warnings: 35, 5.002828s)
Examples (tests: 45, errors: 0, warnings: 0, 0.057624s)
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.036822s)
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 3 tests
falsezeroor.inv
idempand.inv
idempor.inv
logic.propositional.absorpand: passed only 1 tests
logic.propositional.absorpor: passed only 0 tests
logic.propositional.andoveror: passed only 5 tests
logic.propositional.assocand: passed only 4 tests
logic.propositional.assocor: passed only 6 tests
logic.propositional.command
logic.propositional.commor
logic.propositional.compland: passed only 0 tests
logic.propositional.complor: passed only 0 tests
logic.propositional.defequiv: passed only 7 tests
logic.propositional.defimpl
logic.propositional.demorganand: passed only 3 tests
logic.propositional.demorganor: passed only 4 tests
logic.propositional.falsezeroand: passed only 3 tests
logic.propositional.falsezeroor: passed only 4 tests
logic.propositional.genandoveror: passed only 1 tests
logic.propositional.gendemorganand: passed only 2 tests
logic.propositional.gendemorganor: passed only 0 tests
logic.propositional.genoroverand: passed only 0 tests
logic.propositional.idempand: passed only 4 tests
logic.propositional.idempor: passed only 3 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 2 tests
logic.propositional.notfalse: passed only 1 tests
logic.propositional.notnot: passed only 3 tests
logic.propositional.nottrue: passed only 1 tests
logic.propositional.oroverand
logic.propositional.truezeroand: passed only 5 tests
logic.propositional.truezeroor: passed only 4 tests
notfalse.inv: passed only 2 tests
notnot.inv
nottrue.inv: passed only 2 tests
oroverand.inv: passed only 0 tests
truezeroand.inv
exercise terms defined
equivalence implemented
similarity implemented
parser/pretty printer
soundness strategy/generator: Exception: '<<timeout>>'