Test Run:03/20/2019 12:33:18.517 PM
Note: * indicates a violation test case
| PASSED (3 out of 3) | ||
| Case Type | Passed | Total |
| Violation | 3 | 3 |
| Boolean | 0 | 0 |
| All Cases | 3 | 3 |
| State | Contract Violation | Test Name |
| Test1 | TEST | |
| PASSED | NONE | *t1: ST Parent, DT Parent, Parent's precondition |
| PASSED | NONE | *t2: ST Parent, DT Child, Parent's precondition |
| PASSED | NONE | *t3: ST Child, DT Child, Parent's precondition |