diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-25 16:20:32 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-25 16:20:32 +0000 |
| commit | ffbb6393d647d6879c1c9edcc6c36f796906bac5 (patch) | |
| tree | 342c78d38e7f84497347e2933181042df3164ac7 /Source/UnitTests/CoreTests/CoreTests.csproj | |
| parent | c8b3dace6ff23f5554423b41c03d87e024ed1147 (diff) | |
Added a unit test to catch a bug in Boogie where a NAryExpr.ShallowType
fails when the Function is a FunctionCall
Diffstat (limited to 'Source/UnitTests/CoreTests/CoreTests.csproj')
| -rw-r--r-- | Source/UnitTests/CoreTests/CoreTests.csproj | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Source/UnitTests/CoreTests/CoreTests.csproj b/Source/UnitTests/CoreTests/CoreTests.csproj index d470ca4c..76f7b985 100644 --- a/Source/UnitTests/CoreTests/CoreTests.csproj +++ b/Source/UnitTests/CoreTests/CoreTests.csproj @@ -46,25 +46,26 @@ <Compile Include="Duplicator.cs" />
<Compile Include="ExprEquality.cs" />
<Compile Include="Properties\AssemblyInfo.cs" />
+ <Compile Include="ExprTypeChecking.cs" />
</ItemGroup>
<ItemGroup>
<None Include="packages.config" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\..\Basetypes\Basetypes.csproj">
- <Project>{43dfad18-3e35-4558-9be2-caff6b5ba8a0}</Project>
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\..\Core\Core.csproj">
- <Project>{b230a69c-c466-4065-b9c1-84d80e76d802}</Project>
+ <Project>{B230A69C-C466-4065-B9C1-84D80E76D802}</Project>
<Name>Core</Name>
</ProjectReference>
<ProjectReference Include="..\..\ParserHelper\ParserHelper.csproj">
- <Project>{fcd3ac7f-9dfd-46c8-ab1e-09f0b0f16dc5}</Project>
+ <Project>{FCD3AC7F-9DFD-46C8-AB1E-09F0B0F16DC5}</Project>
<Name>ParserHelper</Name>
</ProjectReference>
<ProjectReference Include="..\TestUtil\TestUtil.csproj">
- <Project>{59118e35-4236-495e-af6e-0d641302ed2c}</Project>
+ <Project>{59118E35-4236-495E-AF6E-0D641302ED2C}</Project>
<Name>TestUtil</Name>
</ProjectReference>
</ItemGroup>
|