瀏覽代碼

+ missing halt instructions

florian 3 年之前
父節點
當前提交
c70626e1de
共有 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;
 			ok := false;
 		end;
 		end;
 	end;
 	end;
-	if ok then writeln('ok');
+	if ok then 
+	  writeln('ok')
+	else
+	  halt(1);
 end.
 end.

+ 4 - 1
tests/webtbs/tw39615b.pp

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