PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.314s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.186s passed
testToAndFromString() 5.128s passed
testTrivialPredicatesLattice() 0s passed

Standard output

906840     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
906840     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.6ns 
906840     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
911938     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 
911969     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
911969     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 
911969     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
911969     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.8ns 
911969     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
917138     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 
917155     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
917155     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns