diff options
| author |  Rustan Leino <unknown> | 2015-07-02 20:00:11 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2015-07-02 20:00:11 -0700 |
| commit | 4d11b8d19bab3c4b37914f12226e19ac6d68ffb1 (patch) | |
| tree | 4fba3b306d72e26bdce96b52d1ff9f24beaab673 /Test/VSI-Benchmarks/b4.dfy.expect | |
| parent | e10098cde7bac9a7a1576000fa29d15f1fcd8970 (diff) | |
Added command-line option /warnShadowing, which emits warnings if variables shadow other variables (Issue #86)
Diffstat (limited to 'Test/VSI-Benchmarks/b4.dfy.expect')
0 files changed, 0 insertions, 0 deletions