Adding STL stuff and operator news of snapshot to model-checker. Need to actuallly...

[model-checker.git] / run.sh

diff --git a/run.sh b/run.sh
index 9c7af2fb5f4e9bd1283d22975cf6b9c020ae8afe..45f962c1ab273f48f2ab6ee9d8859da28c2489d6 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -1,4 +1,4 @@
 #!/bin/sh
 
 export LD_LIBRARY_PATH=.
-./model
+gdb ./model