Skip to content

Commit

Permalink
Disable initial blocks
Browse files Browse the repository at this point in the history
  • Loading branch information
leonardt committed Nov 21, 2023
1 parent 49904c3 commit c3bc2cb
Showing 1 changed file with 14 additions and 6 deletions.
20 changes: 14 additions & 6 deletions tests/test_property.py
Original file line number Diff line number Diff line change
Expand Up @@ -893,9 +893,13 @@ class Main(m.Circuit):
tester.advance_cycle()
tester.circuit.I = 1
tester.advance_cycle()
tester.compile_and_run("system-verilog", simulator="ncsim",
magma_output="mlir-verilog", flags=["-sv"],
magma_opts={"sv": True}, disp_type="realtime",
tester.compile_and_run("system-verilog",
simulator="ncsim",
magma_output="mlir-verilog",
flags=["-sv"],
magma_opts={"sv": True,
"disable_initial_blocks": True},
disp_type="realtime",
coverage=True)

out, _ = capsys.readouterr()
Expand Down Expand Up @@ -941,9 +945,13 @@ class Main(m.Circuit):
tester.circuit.I = 1
tester.advance_cycle()
tester.circuit.I = 0
tester.compile_and_run("system-verilog", simulator="ncsim",
magma_output="mlir-verilog", flags=["-sv"],
magma_opts={"sv": True}, disp_type="realtime",
tester.compile_and_run("system-verilog",
simulator="ncsim",
magma_output="mlir-verilog",
flags=["-sv"],
magma_opts={"sv": True,
"disable_initial_blocks": True},
disp_type="realtime",
coverage=True)

out, _ = capsys.readouterr()
Expand Down

0 comments on commit c3bc2cb

Please sign in to comment.