From fcf9baee486e5ca00885d6a98589cfc8a7d032fb Mon Sep 17 00:00:00 2001 From: unlsycn Date: Sun, 24 Nov 2024 14:56:56 +0000 Subject: [PATCH] [circt-test] fix lit config for circt-bmc Signed-off-by: unlsycn --- integration_test/lit.cfg.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/integration_test/lit.cfg.py b/integration_test/lit.cfg.py index 022607617c81..192872266ebe 100644 --- a/integration_test/lit.cfg.py +++ b/integration_test/lit.cfg.py @@ -80,7 +80,7 @@ tools = [ 'arcilator', 'circt-opt', 'circt-translate', 'firtool', 'circt-rtl-sim.py', 'equiv-rtl.sh', 'handshake-runner', 'hlstool', 'ibistool', 'circt-lec', - 'circt-bmc', 'circt-test', 'circt-test-runner-sby.py' + 'circt-bmc', 'circt-test', 'circt-test-runner-sby.py', 'circt-test-runner-circt-bmc.py' ] # Enable python if its path was configured