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

Signed-off-by: unlsycn <[email protected]>
llvm · Nov 25, 2024 · 7a07ffb · 7a07ffb
1 parent 87d10b7
commit 7a07ffb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/integration_test/circt-test/basic-circt-bmc.mlir b/integration_test/circt-test/basic-circt-bmc.mlir
@@ -1,3 +1,3 @@
-// RUN: env Z3LIB=%libz3 not circt-test %S/basic.mlir -r circt-test-runner-circt-bmc.py --mlir-runner 2>&1 | FileCheck %S/basic.mlir
+// RUN: env Z3LIB=%libz3 PATH=%circt-tools-dir:$PATH not circt-test %S/basic.mlir -r circt-test-runner-circt-bmc.py --mlir-runner 2>&1 | FileCheck %S/basic.mlir
 // REQUIRES: libz3
 // REQUIRES: circt-bmc-jit
diff --git a/integration_test/lit.cfg.py b/integration_test/lit.cfg.py
@@ -80,7 +80,8 @@
 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
@@ -230,6 +231,7 @@
   config.available_features.add('arcilator-jit')
 
 config.substitutions.append(('%driver', f'{config.driver}'))
+config.substitutions.append(('%circt-tools-dir', f'{config.circt_tools_dir}'))
 llvm_config.add_tool_substitutions(tools, tool_dirs)
 
 # cocotb availability