PredicateAbstractionLatticeTests
Tests
| Test |
Duration |
Result |
| testCreateSignLatticeWithPredicates() |
4.159s |
passed |
| testToAndFromString() |
4.125s |
passed |
| testTrivialPredicatesLattice() |
0s |
passed |
Standard output
748126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key
748126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.9ns
748126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
752222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s
752238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key
752238 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
752238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key
752238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 459.1ns
752238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
756256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s
756397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key
756397 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns