diff options
| author |  qadeer <unknown> | 2010-09-03 15:16:11 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-09-03 15:16:11 +0000 |
| commit | c3a0562a1e4b713690b6d78d59316f9df41bc99f (patch) | |
| tree | a743d12877daecf9a022d12c1c5a734d4c2e00be /Source/BoogieDriver | |
| parent | 2cb457d3ce46e12450117f8e36f801fd50cd05bf (diff) | |
Added a fix to extract loops code so that it returns a more comprehensive map of block names to original blocks.
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index e5c52add..96d68bec 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -136,10 +136,6 @@ <Project>{9B163AA3-36BC-4AFB-88AB-79BC9E97E401}</Project>
<Name>SMTLib</Name>
</ProjectReference>
- <ProjectReference Include="..\Provers\Z3api\Z3api.csproj">
- <Project>{966DD87B-A29D-4F3C-9406-F680A61DC0E0}</Project>
- <Name>Z3api</Name>
- </ProjectReference>
<ProjectReference Include="..\Provers\Z3\Z3.csproj">
<Project>{BB49B90B-BE21-4BE8-85BA-359FDB55F4DF}</Project>
<Name>Z3</Name>
|