diff options
| author |  Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-06-24 19:39:14 -0700 |
|---|---|---|
| committer | Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-06-24 19:39:14 -0700 |
| commit | 94524897981a72c7223318929008e64206a75104 (patch) | |
| tree | d42e970d5d75c0cff48d8905e7b672e6e3e49c14 /Jennisys/PipelineUtils.fs | |
| parent | cf5c8312d52dca3d258fbe3fb9f75340054bf50e (diff) | |
fixed some minor bugs:
- it first creates an empty model file before running Dafny
- Resolving lists used to reverse the list
Diffstat (limited to 'Jennisys/PipelineUtils.fs')
| -rw-r--r-- | Jennisys/PipelineUtils.fs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Jennisys/PipelineUtils.fs b/Jennisys/PipelineUtils.fs index 17c1c058..2363995d 100644 --- a/Jennisys/PipelineUtils.fs +++ b/Jennisys/PipelineUtils.fs @@ -5,7 +5,12 @@ let dafnyModelFile = @"c:\tmp\jennisys-scratch.model" let dafnyOutFile = @"c:\tmp\jennisys-scratch.out" let dafnySynthFile = @"c:\tmp\jennisys-synth.dfy" +let CreateEmptyModelFile modelFile = + use mfile = System.IO.File.CreateText(modelFile) + fprintf mfile "" + let RunDafny inputFile modelFile =
+ CreateEmptyModelFile modelFile
async {
use proc = new System.Diagnostics.Process()
proc.StartInfo.FileName <- @"c:\tmp\StartDafny-jen.bat"
|