Fix result file
[satune.git] / src / Test / run.sh
index 9741fe0..4590ede 100755 (executable)
@@ -3,5 +3,7 @@
 export LD_LIBRARY_PATH=../bin
 # For Mac OSX
 export DYLD_LIBRARY_PATH=../bin
-
+# For sat_solver
+export PATH=.:$PATH
+echo $@
 $@