PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.145s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.272s passed
testToAndFromString() 2.873s passed
testTrivialPredicatesLattice() 0s passed

Standard output

536994     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
536994     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 106ns 
536994     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
539839     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 
539870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
539870     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
539870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
539870     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 339.3ns 
539870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
543125     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 
543140     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
543140     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns