SIMPLE_CONCRETE_TEST_SUITE

Note: * indicates a violation test case

 
PASSED (2 out of 2)
Case Type Passed Total
Violation 11
Boolean 11
All Cases 22
State Contract Violation Test Name
Test1 ARRAY_TEST
PASSED NONE test_array_count
PASSED NONE *test_item_precondition_violation