PredicateAbstractionLatticeTests

all > de.uka.ilkd.key.rule.merge > PredicateAbstractionLatticeTests
3

tests
0

failures
0

ignored
10.936s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.502s passed
testToAndFromString() 5.434s passed
testTrivialPredicatesLattice() 0s passed

Standard output

968916     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
968916     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.3ns 
968932     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
974336     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 
974351     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
974351     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns 
974351     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
974351     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.4ns 
974367     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
979821     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 
979853     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
979853     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns