diff options
author | qadeer <qadeer@microsoft.com> | 2012-06-07 17:55:22 -0700 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2012-06-07 17:55:22 -0700 |
commit | 86075eb4e16ec383d9227cd11cf0d3ecdf95c8f8 (patch) | |
tree | a4993e110cf8a1884f78da7a1a2204bfc70c4942 /Source/BoogieDriver | |
parent | 672cec8b6c933c11ea32c3ac5826eafffcbfc953 (diff) |
testing a fix in SI
also changing back the output path in BoogieDriver
also disabling z3api for now since it does not build
Diffstat (limited to 'Source/BoogieDriver')
-rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index 18f94929..57aeb4d9 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -40,7 +40,7 @@ <DebugSymbols>true</DebugSymbols>
<DebugType>full</DebugType>
<Optimize>false</Optimize>
- <OutputPath>..\Provers\Z3api\bin\z3apidebug\</OutputPath>
+ <OutputPath>..\..\Binaries\</OutputPath>
<DefineConstants>TRACE;DEBUG</DefineConstants>
<ErrorReport>prompt</ErrorReport>
<WarningLevel>4</WarningLevel>
|