PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.471s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.329s passed
testToAndFromString() 3.142s passed
testTrivialPredicatesLattice() 0s passed

Standard output

549868     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
549868     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 577.1ns 
549868     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
552979     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
552995     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
552995     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
553011     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
553011     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.2ns 
553011     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
556309     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
556340     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
556340     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns