PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
9.397s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.660s passed
testToAndFromString() 4.737s passed
testTrivialPredicatesLattice() 0s passed

Standard output

756124     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
756124     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.5ns 
756124     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
760832     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s 
760847     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
760847     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
760863     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
760863     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.3ns 
760863     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
765476     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 
765492     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
765492     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns