diff options
| author |  mikebarnett <unknown> | 2011-03-10 17:37:58 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2011-03-10 17:37:58 +0000 |
| commit | a42f800cad7918d42349914a4b8f0d58d95d6531 (patch) | |
| tree | e3f84afafefa83a5add6fd34299e29801a832b6f /Test/dafny0/runtest.bat | |
| parent | b9f45ea020cab2f5ce7de69a60dc6a19f7df810e (diff) | |
Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dictionaries are non-null, which is enforced by the implementation of Dictionary.
Added class constraints to all of the generic NonNull and NonNullElements methods so only non-value types will be checked.
Diffstat (limited to 'Test/dafny0/runtest.bat')
0 files changed, 0 insertions, 0 deletions