Reject clauses that involves returned sut
for init_state
#92
Job | Run time |
---|---|
13m 35s | |
13m 35s |
sut
for init_state
#92
Job | Run time |
---|---|
13m 35s | |
13m 35s |