diff options
Diffstat (limited to 'Source/GPUVerifyBoogieDriver/GPUVerifyBoogieDriver.csproj')
-rw-r--r-- | Source/GPUVerifyBoogieDriver/GPUVerifyBoogieDriver.csproj | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/GPUVerifyBoogieDriver/GPUVerifyBoogieDriver.csproj b/Source/GPUVerifyBoogieDriver/GPUVerifyBoogieDriver.csproj index 6f616936..06300e1f 100644 --- a/Source/GPUVerifyBoogieDriver/GPUVerifyBoogieDriver.csproj +++ b/Source/GPUVerifyBoogieDriver/GPUVerifyBoogieDriver.csproj @@ -43,6 +43,9 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
+ <Compile Include="GetIfOfIfThenElseVisitor.cs" />
+ <Compile Include="GetRHSOfEqualityVisitor.cs" />
+ <Compile Include="GetThenOfIfThenElseVisitor.cs" />
<Compile Include="GPUVerifyBoogieDriver.cs" />
<Compile Include="Properties\AssemblyInfo.cs" />
</ItemGroup>
|