From 1dd2098f7d4946fc49de20b1a5f2ca270a0b7ca7 Mon Sep 17 00:00:00 2001 From: Lenny Truong Date: Tue, 21 Nov 2023 12:18:28 -0800 Subject: [PATCH] Fix expectation --- tests/test_property.py | 25 +++++++++++++------------ 1 file changed, 13 insertions(+), 12 deletions(-) diff --git a/tests/test_property.py b/tests/test_property.py index 7539b464..5d717790 100644 --- 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