X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Frun.sh;h=4590edeaa012c9cc0681ae01ea025f418215a4f2;hp=e74b557af516008fcecb3684c8450d2af9e13fa0;hb=526e78e9379fb1cf98186f4195e8f52866e80063;hpb=0073b37bd741b59fe79857958d8276fc9128db0b

diff --git a/src/Test/run.sh b/src/Test/run.sh
index e74b557..4590ede 100755
--- a/src/Test/run.sh
+++ b/src/Test/run.sh
@@ -5,5 +5,5 @@ export LD_LIBRARY_PATH=../bin
 export DYLD_LIBRARY_PATH=../bin
 # For sat_solver
 export PATH=.:$PATH
-
+echo $@
 $@