diff options
author | 2014-12-17 10:26:33 -0800 | |
---|---|---|
committer | 2014-12-17 10:26:33 -0800 | |
commit | 75b7f29830013051c14990d515d4948cdf917148 (patch) | |
tree | cfccc73d683c6fbab2a2a1433be7c79c8d13b1e7 /Test/test21/NameClash.bpl.n.expect | |
parent | 609d414cf5e707673bf7e6fd8ed4aee9be70cdff (diff) |
some refactoring to separate the concept of shared variables under refinement checking with all global variables
Diffstat (limited to 'Test/test21/NameClash.bpl.n.expect')
0 files changed, 0 insertions, 0 deletions