mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-10 08:03:26 +00:00
Code Activity

functional tests: run from make tests but not smtlib/rkt tests

Browse source
This commit is contained in:
Emily Schmidt 2024-09-04 10:30:08 +01:00
parent 7de8be1451
commit 5a476a8d29
4 changed files with 9 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/functional/test_functional.py
View file

@ -55,6 +55,7 @@ def test_cxx(cell, parameters, tmp_path, num_steps, rnd):
run([str(vcdharness_exe_file.resolve()), str(vcd_functional_file), str(num_steps), str(seed)])
yosys_sim(rtlil_file, vcd_functional_file, vcd_yosys_sim_file, getattr(cell, 'sim_preprocessing', ''))
@pytest.mark.smt
def test_smt(cell, parameters, tmp_path, num_steps, rnd):
import smt_vcd
@ -72,6 +73,7 @@ def test_smt(cell, parameters, tmp_path, num_steps, rnd):
smt_vcd.simulate_smt(smt_file, vcd_functional_file, num_steps, rnd(cell.name + "-smt"))
yosys_sim(rtlil_file, vcd_functional_file, vcd_yosys_sim_file, getattr(cell, 'sim_preprocessing', ''))
@pytest.mark.rkt
def test_rkt(cell, parameters, tmp_path, num_steps, rnd):
import rkt_vcd