PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.958s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.885s passed
testToAndFromString() 4.073s passed
testTrivialPredicatesLattice() 0s passed

Standard output

705543     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
705543     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.5ns 
705543     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
709570     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 
709585     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
709601     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
709601     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
709601     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 438.5ns 
709601     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
713470     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s 
713486     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
713486     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns