PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.766s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.396s passed
testToAndFromString() 5.370s passed
testTrivialPredicatesLattice() 0s passed

Standard output

950336     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
950336     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 165ns 
950336     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
955677     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 
955693     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
955693     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
955693     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
955693     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.8ns 
955693     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
961074     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 
961089     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
961089     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns