PredicateAbstractionLatticeTests

3

tests

0

failures

0

ignored

6.406s

duration

100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.246s passed
testToAndFromString() 3.160s passed
testTrivialPredicatesLattice() 0s passed