PredicateAbstractionLatticeTests
Tests
Test |
Duration |
Result |
testCreateSignLatticeWithPredicates() |
3.604s |
passed |
testToAndFromString() |
3.812s |
passed |
testTrivialPredicatesLattice() |
0s |
passed |
Standard output
655688 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\merge\dummy.key
657095 DEBUG Test worker d.u.i.k.s.TermLabelSettings TermLabelSettings: Failure while reading the setting "UseOriginLabels".Using the default value: true.The string read was: null
657095 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
659486 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
659486 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\merge\dummy.key
659502 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\merge\dummy.key
660518 DEBUG Test worker d.u.i.k.s.TermLabelSettings TermLabelSettings: Failure while reading the setting "UseOriginLabels".Using the default value: true.The string read was: null
660534 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
663074 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
663074 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\merge\dummy.key