PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.204s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.608s passed
testToAndFromString() 3.595s passed
testTrivialPredicatesLattice() 0.001s passed

Standard output

666487     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
666487     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 310ns 
666488     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
670062     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 
670079     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
670080     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
670081     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
670082     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.9ns 
670082     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
673655     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 
673676     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
673686     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns