mirror of https://github.com/YosysHQ/yosys.git
xprop tests: Make iverilog invocation more portable
This commit is contained in:
parent
2a68eee5f1
commit
55ad3fe6c7
|
@ -357,15 +357,15 @@ for mode in ["", "_xprop"]:
|
|||
"-DSIMLIB_FF",
|
||||
"-DSIMLIB_GLOBAL_CLOCK=top.gclk",
|
||||
f"-DDUMPFILE=\"vsim_{expr}.vcd\"",
|
||||
"-o",
|
||||
f"vsim_{expr}",
|
||||
"verilog_sim_tb.v",
|
||||
f"vsim_{expr}.v",
|
||||
*simlibs,
|
||||
"-o",
|
||||
f"vsim_{expr}",
|
||||
]
|
||||
)
|
||||
with open(f"vsim_{expr}.out", "w") as f:
|
||||
subprocess.check_call([f"./vsim_{expr}"], stdout=f)
|
||||
subprocess.check_call(["vvp", f"./vsim_{expr}"], stdout=f)
|
||||
|
||||
for mode in ["", "_xprop"]:
|
||||
if f"sim{mode}" not in steps:
|
||||
|
|
Loading…
Reference in New Issue