1 files changed, 14 insertions, 0 deletions
diff --git a/Jennisys/PipelineUtils.fs b/Jennisys/PipelineUtils.fs
new file mode 100644
index 00000000..0f7eb847
--- /dev/null
+++ b/Jennisys/PipelineUtils.fs
@@ -0,0 +1,14 @@
+module PipelineUtils
+  
+let dafnyScratchFile = @"c:\tmp\jennisys-scratch.dfy"
+let dafnyModelFile = @"c:\tmp\jennisys-scratch.model"
+let dafnyOutFile = @"c:\tmp\jennisys-scratch.out"
+
+let RunDafny inputFile modelFile =
+  async {
+    use proc = new System.Diagnostics.Process()
+    proc.StartInfo.FileName  <- @"c:\tmp\StartDafny-jen.bat"
+    proc.StartInfo.Arguments <- "/mv:" + modelFile + " " + inputFile
+    assert proc.Start()
+    proc.WaitForExit() 
+  } |> Async.RunSynchronously