PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
8.003s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.627s passed
testToAndFromString() 4.376s passed
testTrivialPredicatesLattice() 0s passed

Standard output

655520     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
655520     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.9ns 
655520     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
659866     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 
659898     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
659898     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
659898     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
659898     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 419.2ns 
659898     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
663509     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 
663525     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
663525     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns