PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.423s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.141s passed
testToAndFromString() 3.281s passed
testTrivialPredicatesLattice() 0.001s passed

Standard output

577155     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
577155     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.9ns 
577156     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
580417     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
580433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
580434     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
580435     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
580435     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.1ns 
580436     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
583546     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 
583564     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
583574     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns