diff options
Diffstat (limited to 'Jennisys/PipelineUtils.fs')
| -rw-r--r-- | Jennisys/PipelineUtils.fs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jennisys/PipelineUtils.fs b/Jennisys/PipelineUtils.fs index f4c0177c..1439018a 100644 --- a/Jennisys/PipelineUtils.fs +++ b/Jennisys/PipelineUtils.fs @@ -27,7 +27,7 @@ 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
+ proc.StartInfo.Arguments <- (sprintf "/mv:%s /timeLimit:%d %s" modelFile Options.CONFIG.timeout inputFile)
proc.StartInfo.WindowStyle <- System.Diagnostics.ProcessWindowStyle.Hidden
assert proc.Start()
proc.WaitForExit()
|