finish jml assignment

[ss1617.git] / jml_esc / run.sh

diff --git a/jml_esc/run.sh b/jml_esc/run.sh
new file mode 100755 (executable)
index 0000000..5db907d
--- /dev/null
+++ b/jml_esc/run.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+/vol/practica/softwaresecurity/ESCJava/escjava2 -suggest Amount.java
+/vol/practica/softwaresecurity/ESCJava/escjava2 -suggest Bag.java