PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.493s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.781s passed
testToAndFromString() 2.712s passed
testTrivialPredicatesLattice() 0s passed

Standard output

519721     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
519721     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.1ns 
519721     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
522421     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
522437     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
522437     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
522437     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
522437     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 346ns 
522437     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
525199     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
525215     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
525215     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns