PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.040s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.471s passed
testToAndFromString() 2.569s passed
testTrivialPredicatesLattice() 0s passed

Standard output

449482     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
449482     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.61ns 
449483     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
452036     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 
452048     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
452049     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 
452051     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
452051     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.3ns 
452051     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
454500     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 
454513     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
454519     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns