PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
9.366s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.826s passed
testToAndFromString() 4.540s passed
testTrivialPredicatesLattice() 0s passed

Standard output

802827     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
802827     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.1ns 
802828     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
807346     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 
807364     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
807365     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
807367     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
807367     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 73ns 
807367     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
812167     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 
812188     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
812190     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.8ns