3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-12-17 17:58:32 +00:00

Add back param

This commit is contained in:
Gus Smith 2025-11-29 16:07:18 -08:00
parent 0f8e1e3bf7
commit fb8a1ad3bc

View file

@ -75,7 +75,7 @@ def test_smt(cell, parameters, tmp_path, num_steps, rnd):
@pytest.mark.rkt @pytest.mark.rkt
@pytest.mark.parametrize("use_assoc_list_helpers", [True, False]) @pytest.mark.parametrize("use_assoc_list_helpers", [True, False])
def test_rkt(cell, parameters, tmp_path, num_steps, rnd): def test_rkt(cell, parameters, tmp_path, num_steps, rnd, use_assoc_list_helpers):
import rkt_vcd import rkt_vcd
rtlil_file = tmp_path / 'rtlil.il' rtlil_file = tmp_path / 'rtlil.il'