PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.419s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.218s passed
testToAndFromString() 5.201s passed
testTrivialPredicatesLattice() 0s passed

Standard output

919252     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
919252     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 457.2ns 
919252     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
924423     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 
924439     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
924439     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
924455     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
924455     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns 
924455     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
929626     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 
929642     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
929657     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns