diff options
Diffstat (limited to 'Test/runTests.bat')
-rw-r--r-- | Test/runTests.bat | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Test/runTests.bat b/Test/runTests.bat new file mode 100644 index 00000000..4eeed06b --- /dev/null +++ b/Test/runTests.bat @@ -0,0 +1,2 @@ +@REM runTests.bat -f "/dprelude PRELUDE_FILE" -r REPORT_NAME INPUT_FILES
+C:/Python34/python.exe runTests.py --compiler "c:/MSR/dafny/Binaries/Dafny.exe /useBaseNameForFileName /compile:1 /nologo" --difftool "C:\Program Files (x86)\Meld\Meld.exe" -j4 %*
|