* Use different exit codes to increase verbosity when the test fails.

git-svn-id: trunk@28171 -

tests/webtbs/tw18013.pp

@@ -7,10 +7,10 @@ begin
   ws := [1..3];
   if (wa <= ws) and (wa <> ws) then writeln('True') else begin writeln('False'); halt(1) end;
   if (wa <= ws) then
-    if (wa <> ws) then writeln('True') else begin writeln('False'); halt(1); end
-  else halt(1);
-  if (wa <= ws) then writeln('True') else begin writeln('False'); halt(1); end;
-  if (wa <> ws) then writeln('True') else begin writeln('False'); halt(1); end;
+    if (wa <> ws) then writeln('True') else begin writeln('False'); halt(2); end
+  else halt(3);
+  if (wa <= ws) then writeln('True') else begin writeln('False'); halt(4); end;
+  if (wa <> ws) then writeln('True') else begin writeln('False'); halt(5); end;
 
 end.