diff options
Diffstat (limited to 'Binaries')
-rw-r--r-- | Binaries/PrepareBoogieZip.bat | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat index 38dff1d1..3c512aaa 100644 --- a/Binaries/PrepareBoogieZip.bat +++ b/Binaries/PrepareBoogieZip.bat @@ -11,22 +11,25 @@ for %%f in ( AIFramework.dll AIFramework.pdb Basetypes.dll Basetypes.pdb Boogie.exe Boogie.pdb + BVD.exe BVD.pdb CodeContractsExtender.dll CodeContractsExtender.pdb Core.dll Core.pdb Dafny.exe Dafny.pdb DafnyPipeline.dll DafnyPipeline.pdb Graph.dll Graph.pdb + Model.dll Model.pdb ParserHelper.dll ParserHelper.pdb Provers.Isabelle.dll Provers.Isabelle.pdb Provers.Simplify.dll Provers.Simplify.pdb Provers.SMTLib.dll Provers.SMTLib.pdb + Provers.TPTP.dll Provers.TPTP.pdb Provers.Z3.dll Provers.Z3.pdb VCExpr.dll VCExpr.pdb VCGeneration.dll VCGeneration.pdb DafnyPrelude.bpl DafnyRuntime.cs TypedUnivBackPred2.sx - UnivBackPred2.smt + UnivBackPred2.smt2 UnivBackPred2.sx ) do ( copy %%f %DEST_DIR% |