PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.312s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.546s passed
testToAndFromString() 2.765s passed
testTrivialPredicatesLattice() 0.001s passed

Standard output

458061     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
458061     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.9ns 
458061     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
460806     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
460824     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
460825     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.4ns 
460826     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
460826     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 43.7ns 
460826     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
463343     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.52s 
463361     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
463370     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns