diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-01-29 03:12:00 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-01-29 03:12:00 +0000 |
| commit | 506c17c312bf12188a9b1eabcdf80a71f92d9bb9 (patch) | |
| tree | 399bad6a4b74b68b00b38d2f603fdd46fa2857ab /Source/UnitTests/CoreTests/CoreTests.csproj | |
| parent | 6f04bf428ce8a3422877c590b931b55efd0245b8 (diff) | |
Add some unit tests to check the enforcement of Expr immutability.
For IdentifierExpr and the Type field of Expr.
There are lots of places where it still isn't enforced but hopefully
we'll fix those in due time.
Diffstat (limited to 'Source/UnitTests/CoreTests/CoreTests.csproj')
| -rw-r--r-- | Source/UnitTests/CoreTests/CoreTests.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/UnitTests/CoreTests/CoreTests.csproj b/Source/UnitTests/CoreTests/CoreTests.csproj index 76f7b985..9b319d85 100644 --- a/Source/UnitTests/CoreTests/CoreTests.csproj +++ b/Source/UnitTests/CoreTests/CoreTests.csproj @@ -47,6 +47,7 @@ <Compile Include="ExprEquality.cs" />
<Compile Include="Properties\AssemblyInfo.cs" />
<Compile Include="ExprTypeChecking.cs" />
+ <Compile Include="ExprImmutability.cs" />
</ItemGroup>
<ItemGroup>
<None Include="packages.config" />
|