SAT solver is now connected to csolver

[satune.git] / src / Test / run.sh

diff --git a/src/Test/run.sh b/src/Test/run.sh
index 9741fe097acd733c1f8256fc91dd615aad844cbd..e74b557af516008fcecb3684c8450d2af9e13fa0 100755 (executable)
--- a/src/Test/run.sh
+++ b/src/Test/run.sh
@@ -3,5 +3,7 @@
 export LD_LIBRARY_PATH=../bin
 # For Mac OSX
 export DYLD_LIBRARY_PATH=../bin
+# For sat_solver
+export PATH=.:$PATH
 
 $@