[circt-test] fix lit config for circt-bmc

Signed-off-by: unlsycn <[email protected]>
llvm · Nov 24, 2024 · fcf9bae · fcf9bae
1 parent 87d10b7
commit fcf9bae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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