瀏覽代碼

+ missing halt instructions

florian 2 年之前
父節點
當前提交
e7fda48327
共有 2 個文件被更改,包括 8 次插入2 次删除
  1. 4 1
      tests/webtbs/tw39615a.pp
  2. 4 1
      tests/webtbs/tw39615b.pp

+ 4 - 1
tests/webtbs/tw39615a.pp

@@ -26,5 +26,8 @@ begin
 			ok := false;
 		end;
 	end;
-	if ok then writeln('ok');
+	if ok then 
+	  writeln('ok')
+	else
+	  halt(1);
 end.

+ 4 - 1
tests/webtbs/tw39615b.pp

@@ -26,5 +26,8 @@ begin
 			ok := false;
 		end;
 	end;
-	if ok then writeln('ok');
+	if ok then 
+	  writeln('ok')
+	else
+	  halt(1);
 end.