PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
11.414s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.791s passed
testToAndFromString() 5.623s passed
testTrivialPredicatesLattice() 0s passed

Standard output

998348     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
998348     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.7ns 
998348     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1003941    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s 
1003956    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
1003956    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 50.8ns 
1003956    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
1003956    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 466.3ns 
1003972    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1009732    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.76s 
1009747    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
1009747    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6ns