PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
8.751s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.416s passed
testToAndFromString() 4.335s passed
testTrivialPredicatesLattice() 0s passed

Standard output

758497     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
758513     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 384.3ns 
758513     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
762817     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 
762833     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
762833     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
762849     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
762849     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.8ns 
762849     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
767233     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 
767249     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
767249     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns