scripts/dafny


1
2
3
4
5
6
7
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"