PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.792s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.238s passed
testToAndFromString() 5.549s passed
testTrivialPredicatesLattice() 0.005s passed

Standard output

962975     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
962975     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.1ns 
962991     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
968494     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 
968510     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
968526     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
968526     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
968526     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.7ns 
968526     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
973733     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 
973748     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
973764     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns