Add ASSERT to Macro test

dpretet · Sep 23, 2024 · 9594a8d · 9594a8d
1 parent f9e5007
commit 9594a8d
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 1 deletion.
diff --git a/test/Adder_KO_testsuite.sv b/test/Adder_KO_testsuite.sv
@@ -95,6 +95,8 @@ module Adder_unit_test_KO;
         `FAIL_IF_NOT_EQUAL(out, 8'd0);
         `INFO("Test FAIL_IF_NOT_EQUAL");
         `FAIL_IF_EQUAL(out, 8'd1);
+        `INFO("Test ASSERT");
+        `ASSERT(inc === 1'b1);
 
         `ERROR("Test finished");
 

diff --git a/test/Adder_OK_testsuite.sv b/test/Adder_OK_testsuite.sv
@@ -98,6 +98,8 @@ module Adder_unit_test_OK;
         `FAIL_IF_EQUAL(out, 8'd0);
         `INFO("Test FAIL_IF_NOT_EQUAL");
         `FAIL_IF_NOT_EQUAL(out, 8'd1);
+        `INFO("Test ASSERT");
+        `ASSERT(inc === 1'b0);
 
         `SUCCESS("Test finished");
 

diff --git a/test/testsuite_run.sh b/test/testsuite_run.sh
@@ -20,7 +20,7 @@ test_run_ko_testsuite() { #@test
 test_run_ko_testsuite_error_count() { #@test
 
     run exe_ko_to_log
-    error_num=9
+    error_num=10
     [ $(grep -c "ERROR:" log) -eq "$error_num" ]
 }