1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/dafny b/scripts/dafny
new file mode 100755
index 0000000..93b26a7
--- /dev/null
+++ b/scripts/dafny
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+# get args
+file="${!#}"
+set -- "${@:1:$(($#-1))}"
+args="$@"
+
+cat "$file" | ssh vm "tee ~/dafny/torun.dfy > /dev/null; dafny $args ~/dafny/torun.dfy"