PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.381s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.739s passed
testToAndFromString() 2.642s passed
testTrivialPredicatesLattice() 0s passed

Standard output

482842     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
482842     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.1ns 
482858     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
485481     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 
485496     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
485496     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
485496     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
485496     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.5ns 
485496     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
488209     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 
488224     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
488224     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns