Adding STL stuff and operator news of snapshot to model-checker. Need to actuallly...
[c11tester.git] / run.sh
diff --git a/run.sh b/run.sh
index 9c7af2f..45f962c 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -1,4 +1,4 @@
 #!/bin/sh
 
 export LD_LIBRARY_PATH=.
 #!/bin/sh
 
 export LD_LIBRARY_PATH=.
-./model
+gdb ./model