From 66e06c961d38fd78db09e90c07e429ddedbc23b8 Mon Sep 17 00:00:00 2001
From: Lenny Truong <leonardtruong@meta.com>
Date: Wed, 22 Nov 2023 09:16:54 -0800
Subject: [PATCH] Add advance_cycle

---
 tests/test_property.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/test_property.py b/tests/test_property.py
index ee7dd30f..11352ff0 100644
--- a/tests/test_property.py
+++ b/tests/test_property.py
@@ -951,6 +951,7 @@ class Main(m.Circuit):
     tester.circuit.I = 1
     tester.advance_cycle()
     tester.circuit.I = 0
+    tester.advance_cycle()
     tester.compile_and_run("system-verilog",
                            simulator="ncsim",
                            magma_output="mlir-verilog",