Fixed a typo in a test name
This commit is contained in:
parent
f2c7bad3e2
commit
2e36a8a218
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue
Block a user