[circt-test] fix lit config for circt-bmc (#7897)

Signed-off-by: unlsycn <unlsycn@unlsycn.com>
llvm · Nov 26, 2024 · 74598ea · 74598ea
1 parent e04ee8b
commit 74598ea
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/integration_test/lit.cfg.py b/integration_test/lit.cfg.py
@@ -63,8 +63,9 @@
 # test_exec_root: The root path where tests should be run.
 config.test_exec_root = os.path.join(config.circt_obj_root, 'integration_test')
 
-# Tweak the PATH to include the tools dir.
+# Tweak the PATH to include the LLVM and CIRCT tools dir.
 llvm_config.with_environment('PATH', config.llvm_tools_dir, append_path=True)
+llvm_config.with_environment('PATH', config.circt_tools_dir, append_path=True)
 
 # Tweak the PYTHONPATH to include the binary dir.
 if config.bindings_python_enabled: