diff --git a/tests/tbs/tb0712.pp b/tests/tbs/tb0712.pp
index 7b303915c9..711a3b7b40 100644
--- a/tests/tbs/tb0712.pp
+++ b/tests/tbs/tb0712.pp
@@ -5,18 +5,24 @@ begin
   yy:=random(0)+1980;
   If (yy<1980) or (yy>2099) then
     res:=1;
+  if res<>0 then
+    halt(res);
 
   yy:=random(0)+2099;
   If (yy<1980) or (yy>2099) then
     res:=2;
+  if res<>0 then
+    halt(res);
 
   yy:=random(0)+1980;
   If (yy<=1979) or (yy>2099) then
     res:=3;
+  if res<>0 then
+    halt(res);
 
   yy:=random(0)+2099;
   If (yy<1979) or (yy>=2100) then
     res:=4;
-
-  halt(res);
+  if res<>0 then
+    halt(res);
 end.
\ No newline at end of file