PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
9.483s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.713s passed
testToAndFromString() 4.770s passed
testTrivialPredicatesLattice() 0s passed

Standard output

865908     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
865908     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.4ns 
865909     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
870658     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 
870674     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
870676     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.4ns 
870677     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
870677     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.5ns 
870678     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
875370     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 
875387     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
875388     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.6ns