M2compiler-V1/tests/s_streq.mod

MODULE SStrEq;
VAR s1, s2 : ARRAY [1 .. 10] OF CHAR; ExitCode : INTEGER;
BEGIN
  s1 := "abc";
  s2 := "abc";
  IF s1 = s2 THEN ExitCode := 4 ELSE ExitCode := 0 END;
  s2 := "abd";
  IF s1 # s2 THEN ExitCode := ExitCode + 6 ELSE ExitCode := 0 END;
  IF s1 < s2 THEN ExitCode := ExitCode + 11 ELSE ExitCode := 0 END
END SStrEq.