PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.137s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.426s passed
testToAndFromString() 2.711s passed
testTrivialPredicatesLattice() 0s passed

Standard output

478639     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
478639     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.4ns 
478639     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
478655     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\merge\dummy.key took 0 ms to parse. 
478655     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1649 ms. 
479483     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 16 ms to parse. 
479483     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1665 ms. 
481338     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
481354     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
481354     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
481354     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\merge\dummy.key took 0 ms to parse. 
481354     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1665 ms. 
481354     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
481354     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 100ns 
481354     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
481354     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\merge\dummy.key took 0 ms to parse. 
481354     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1665 ms. 
482121     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
482121     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1665 ms. 
483762     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.4s 
483778     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
483778     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
483778     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\merge\dummy.key took 0 ms to parse. 
483778     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1665 ms.