PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.622s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.253s passed
testToAndFromString() 3.369s passed
testTrivialPredicatesLattice() 0s passed

Standard output

598988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
598988     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.7ns 
598988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
602337     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
602352     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
602354     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
602356     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
602356     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 53.9ns 
602358     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
605588     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
605605     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
605607     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns