PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.489s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.796s passed
testToAndFromString() 2.693s passed
testTrivialPredicatesLattice() 0s passed

Standard output

499893     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
499893     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.1ns 
499908     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
502567     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
502583     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
502598     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
502598     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
502598     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.1ns 
502598     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
505367     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
505383     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
505383     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns