PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.070s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.371s passed
testToAndFromString() 3.699s passed
testTrivialPredicatesLattice() 0s passed

Standard output

644324     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
644324     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.8ns 
644339     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
648008     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 
648024     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
648024     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
648039     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
648039     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.5ns 
648039     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
651379     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
651395     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
651395     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns