PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.194s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.627s passed
testToAndFromString() 3.567s passed
testTrivialPredicatesLattice() 0s passed

Standard output

680517     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
680517     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.2ns 
680517     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
684070     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 
684086     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
684086     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns 
684086     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
684086     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.9ns 
684086     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
687681     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 
687697     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
687713     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns