Fix expectation

leonardt · Nov 21, 2023 · 1dd2098 · 1dd2098
1 parent c3bc2cb
commit 1dd2098
Showing 1 changed file with 13 additions and 12 deletions.
diff --git a/tests/test_property.py b/tests/test_property.py
@@ -903,12 +903,12 @@ class Main(m.Circuit):
                            coverage=True)
 
     out, _ = capsys.readouterr()
-    # not covered
     assert """\
   Disabled Finish Failed   Assertion Name
          0      0      0   Main_tb.dut.__cover1
-  Total Assertions = 1,  Failing Assertions = 0,  Unchecked Assertions = 1\
-""" in out
+         0      1      0   Main_tb.dut.__cover2
+  Total Assertions = 2,  Failing Assertions = 0,  Unchecked Assertions = 1\
+""" in out, out
     tester.clear()
     tester.circuit.I = 1
     tester.advance_cycle()
@@ -919,12 +919,12 @@ class Main(m.Circuit):
                            coverage=True)
 
     out, _ = capsys.readouterr()
-    # covered
     assert """\
   Disabled Finish Failed   Assertion Name
          0      1      0   Main_tb.dut.__cover1
-  Total Assertions = 1,  Failing Assertions = 0,  Unchecked Assertions = 0\
-""" in out
+         0      0      0   Main_tb.dut.__cover2
+  Total Assertions = 2,  Failing Assertions = 0,  Unchecked Assertions = 1\
+""" in out, out
     tester.circuit.S = 1
     tester.circuit.I = 1
     tester.advance_cycle()
@@ -935,12 +935,12 @@ class Main(m.Circuit):
                            disp_type="realtime", coverage=True)
 
     out, _ = capsys.readouterr()
-    # not covered
     assert """\
   Disabled Finish Failed   Assertion Name
          0      1      0   Main_tb.dut.__cover1
-  Total Assertions = 1,  Failing Assertions = 0,  Unchecked Assertions = 0\
-""" in out
+         0      1      0   Main_tb.dut.__cover2
+  Total Assertions = 2,  Failing Assertions = 0,  Unchecked Assertions = 0\
+""" in out, out
     tester.clear()
     tester.circuit.I = 1
     tester.advance_cycle()
@@ -958,6 +958,7 @@ class Main(m.Circuit):
     # covered
     assert """\
   Disabled Finish Failed   Assertion Name
-         0      0      0   Main_tb.dut.__cover1
-  Total Assertions = 1,  Failing Assertions = 0,  Unchecked Assertions = 1\
-""" in out
+         0      1      0   Main_tb.dut.__cover1
+         0      0      0   Main_tb.dut.__cover2
+  Total Assertions = 2,  Failing Assertions = 0,  Unchecked Assertions = 1\
+""" in out, out