PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.077s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.347s passed
testToAndFromString() 3.730s passed
testTrivialPredicatesLattice() 0s passed

Standard output

640849     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
640849     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 413.1ns 
640850     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
644558     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 
644575     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
644576     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
644578     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
644578     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.7ns 
644579     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
647906     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 
647921     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
647922     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns