PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.052s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.050s passed
testToAndFromString() 5.002s passed
testTrivialPredicatesLattice() 0s passed

Standard output

897864     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
897879     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.8ns 
897879     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
902836     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 
902852     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
902852     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
902867     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
902867     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.9ns 
902867     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
907902     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 
907917     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
907917     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns