diff options
Diffstat (limited to 'Source/GPUVerify/Scripts')
| -rw-r--r-- | Source/GPUVerify/Scripts/GPUVerifyDriver.bat | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Source/GPUVerify/Scripts/GPUVerifyDriver.bat b/Source/GPUVerify/Scripts/GPUVerifyDriver.bat new file mode 100644 index 00000000..dda5ddcf --- /dev/null +++ b/Source/GPUVerify/Scripts/GPUVerifyDriver.bat @@ -0,0 +1,9 @@ +echo off
+
+Boogie /noVerify /printUnstructured /print:temp_instrumented.bpl %1 %~p0..\BoogieLibrary\GPUVerifyLibrary.bpl
+
+GPUVerify temp_unstructured.bpl /print:temp_ready_to_verify.bpl
+
+Boogie temp_ready_to_verify.bpl /prover:smtlib
+
+del temp_instrumented.bpl
|