PredicateAbstractionLatticeTests
Tests
| Test |
Duration |
Result |
| testCreateSignLatticeWithPredicates() |
2.780s |
passed |
| testToAndFromString() |
2.675s |
passed |
| testTrivialPredicatesLattice() |
0s |
passed |
Standard output
502453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key
502453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.4ns
502469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
505111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s
505127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key
505127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
505143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key
505143 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.6ns
505143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
507893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s
507909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key
507909 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns