diff --git a/testcases/automatic/usage-check-7.occ.test b/testcases/automatic/usage-check-7.occ.test index 5862d26..bc7f118 100644 --- a/testcases/automatic/usage-check-7.occ.test +++ b/testcases/automatic/usage-check-7.occ.test @@ -91,7 +91,7 @@ PROC m () x := 3 TRUE SKIP -%PASS Unsafe in one possible branched-branch of replicated PAR +%PASS Safe in one possible branched-branch of replicated PAR PAR i = -5 FOR 10 IF i <= 0