diff --git a/tests/functional/test_functional.py b/tests/functional/test_functional.py index 6dc7909e5..aa7500f8b 100644 --- a/tests/functional/test_functional.py +++ b/tests/functional/test_functional.py @@ -75,7 +75,7 @@ def test_smt(cell, parameters, tmp_path, num_steps, rnd): @pytest.mark.rkt @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 rtlil_file = tmp_path / 'rtlil.il'