Summary
[Summary] [Package List] [Test Cases]
| Tests | Errors | Failures | Skipped | Success Rate | Time |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0% | 0 |
Note: failures are anticipated and checked for with assertions while errors are unanticipated.
Package List
[Summary] [Package List] [Test Cases]
| Package | Tests | Errors | Failures | Skipped | Success Rate | Time |
|---|---|---|---|---|---|---|
| com.puresoltechnologies.graphs.statemodel | 0 | 0 | 0 | 0 | 0% | 0 |
Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.
com.puresoltechnologies.graphs.statemodel
| Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
|---|---|---|---|---|---|---|---|
 |
StateModelVerfierTest | 0 | 0 | 0 | 0 | 0% | 0 |
|
StateModelTest | 0 | 0 | 0 | 0 | 0% | 0 |