From be8c956b0e819f2db0c6ae3598b6590b62982a83 Mon Sep 17 00:00:00 2001
From: Jack Jamison <jackqjamison@gmail.com>
Date: Tue, 5 May 2026 21:53:16 -0400
Subject: been a while

---
 scripts/dafny | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 scripts/dafny

(limited to 'scripts/dafny')

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"
-- 
cgit v1.2.3