diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-25 18:26:06 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-25 18:26:06 +0000 |
| commit | 177aad9ff997f38056d2dc352c73b531e5822e22 (patch) | |
| tree | 5a908ff3b1f20a3e277247e5010e453e2b7ecf61 /Source/UnitTests/CoreTests/ExprEquality.cs | |
| parent | 072b57b44df4fd1d512cca59fa678c4f16671e31 (diff) | |
Add unit test to catch another bug in Boogie where FunctionCall ShallowType
is not correctly set. This is related to the bug fixed in cea703affa29. That
commit fixed the ShallowType when it was set using the constructor that takes
a Function but the parser uses the other constructor which has the same bug.
Diffstat (limited to 'Source/UnitTests/CoreTests/ExprEquality.cs')
0 files changed, 0 insertions, 0 deletions