PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.098s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.545s passed
testToAndFromString() 3.553s passed
testTrivialPredicatesLattice() 0s passed

Standard output

626864     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
626864     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.9ns 
626865     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
630397     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 
630414     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
630415     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
630417     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
630417     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 62ns 
630418     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
633941     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 
633957     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
633960     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns