[Summary] [Package List] [Test Cases]
Tests | Errors | Failures | Skipped | Success Rate | Time |
---|---|---|---|---|---|
7 | 0 | 0 | 0 | 100% | 0.897 s |
Note: failures are anticipated and checked for with assertions while errors are unanticipated.
[Summary] [Package List] [Test Cases]
Package | Tests | Errors | Failures | Skipped | Success Rate | Time |
---|---|---|---|---|---|---|
diffblue.flipflop | 7 | 0 | 0 | 0 | 100% | 0.897 s |
Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.
- | Class | Tests | Errors | Failures | Skipped | Success Rate | Time |
---|---|---|---|---|---|---|---|
![]() |
FlipFlopPredicateDiffblueTest | 7 | 0 | 0 | 0 | 100% | 0.897 s |
[Summary] [Package List] [Test Cases]
![]() |
testTest2 | 0.871 s |
![]() |
testTest3 | 0.002 s |
![]() |
testTest4 | 0.003 s |
![]() |
testTest | 0.001 s |
![]() |
testConstructor2 | 0.001 s |
![]() |
testConstructor3 | 0.001 s |
![]() |
testConstructor | 0.001 s |