diff --git a/test_regress/t/t_assert_disabled.pl b/test_regress/t/t_assert_disabled.pl
index 1b8f06b8b..812f91229 100755
--- a/test_regress/t/t_assert_disabled.pl
+++ b/test_regress/t/t_assert_disabled.pl
@@ -14,7 +14,9 @@ top_filename("t/t_assert_on.v");
 
 compile();
 
-execute();
+execute(
+    check_finished => 1,
+    );
 
 ok(1);
 1;
diff --git a/test_regress/t/t_assert_on.v b/test_regress/t/t_assert_on.v
index 55704fa6b..a1b28e48b 100644
--- a/test_regress/t/t_assert_on.v
+++ b/test_regress/t/t_assert_on.v
@@ -13,6 +13,7 @@ module t (/*AUTOARG*/
 
    always @ (posedge clk) begin
       assert (0);
+      $write("*-* All Finished *-*\n");
       $finish;
    end
 
diff --git a/test_regress/t/t_const_bitoptree_bug3096.pl b/test_regress/t/t_const_bitoptree_bug3096.pl
index 16e215620..6a43c15a1 100755
--- a/test_regress/t/t_const_bitoptree_bug3096.pl
+++ b/test_regress/t/t_const_bitoptree_bug3096.pl
@@ -16,7 +16,9 @@ compile(
     v_flags2 => ["--exe $Self->{t_dir}/$Self->{name}.cpp"],
     );
 
-execute();
+execute(
+    check_finished => 0,
+    );
 
 ok(1);
 1;
diff --git a/test_regress/t/t_randcase_bad.out b/test_regress/t/t_randcase_bad.out
index fa2e9ec7f..4e3daeeac 100644
--- a/test_regress/t/t_randcase_bad.out
+++ b/test_regress/t/t_randcase_bad.out
@@ -1 +1,2 @@
 [0] %Error: t_randcase_bad.v:12: Assertion failed in top.t.unnamedblk1: All randcase items had 0 weights (IEEE 1800-2017 18.16)
+*-* All Finished *-*
diff --git a/test_regress/t/t_randcase_bad.v b/test_regress/t/t_randcase_bad.v
index a299b04e1..4704bf681 100644
--- a/test_regress/t/t_randcase_bad.v
+++ b/test_regress/t/t_randcase_bad.v
@@ -12,6 +12,7 @@ module t (/*AUTOARG*/);
       randcase  // Bad all zero weights
         0 : $stop;
       endcase
+      $write("*-* All Finished *-*\n");
       $finish;
    end
 
diff --git a/test_regress/t/t_savable_open_bad2.pl b/test_regress/t/t_savable_open_bad2.pl
index f7e08a422..445737f1a 100755
--- a/test_regress/t/t_savable_open_bad2.pl
+++ b/test_regress/t/t_savable_open_bad2.pl
@@ -16,6 +16,7 @@ compile(
     );
 
 execute(
+    check_finished => 0,
     );
 
 ok(1);