PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.567s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.785s passed
testToAndFromString() 2.782s passed
testTrivialPredicatesLattice() 0s passed

Standard output

538502     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
538502     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.6ns 
538502     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
541268     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
541284     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
541284     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
541284     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
541284     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.1ns 
541284     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
544057     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
544057     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
544072     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns