PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
9.976s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.907s passed
testToAndFromString() 5.069s passed
testTrivialPredicatesLattice() 0s passed

Standard output

909778     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
909778     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 165ns 
909778     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
914816     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 
914833     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
914833     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
914848     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
914848     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.6ns 
914848     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
919708     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 
919739     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
919740     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns