PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.221s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.538s passed
testToAndFromString() 2.683s passed
testTrivialPredicatesLattice() 0s passed

Standard output

485589     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
485589     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 298ns 
485589     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
488257     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
488272     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
488272     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 
488272     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
488272     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.8ns 
488272     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
490795     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 
490795     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
490795     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns