blob: dda5ddcf41cdc03ed953521988dc41089d0d2b76 (
plain)
1
2
3
4
5
6
7
8
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
|