diff options
| author |  Unknown <afd@afd-THINK> | 2012-09-19 09:39:15 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK> | 2012-09-19 09:39:15 +0100 |
| commit | b1530597d97bf6adbdc64b6f7698e1e1bee6966b (patch) | |
| tree | a0f51257239f3537e1687a97c54da26c06548866 /Source/Dafny/Cloner.cs | |
| parent | 743cb89f91a030d38740defa775f9d2406e74e24 (diff) | |
When uniformity analysis is disabled, no procedures (even the kernel entry
point) will be regarded as uniform. This simplification avoids various edge
cases.
Diffstat (limited to 'Source/Dafny/Cloner.cs')
0 files changed, 0 insertions, 0 deletions