PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
8.872s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.332s passed
testToAndFromString() 4.539s passed
testTrivialPredicatesLattice() 0.001s passed

Standard output

780247     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
780247     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.2ns 
780248     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
784766     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 
784783     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
784784     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
784785     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
784786     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.3ns 
784786     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
789082     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 
789105     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
789115     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns