diff options
author | leino <unknown> | 2014-08-26 11:29:55 -0700 |
---|---|---|
committer | leino <unknown> | 2014-08-26 11:29:55 -0700 |
commit | b160a16857b62e8ea47774939afde8f51454941f (patch) | |
tree | 7a30fa705759d1e2f7faad5b18c652b5d06fd7e8 | |
parent | cf01d66976ffd99f423b93949d0f80bba03fe5d7 (diff) |
Renamed some test files.
-rw-r--r-- | Test/dafny0/Newtypes.dfy (renamed from Test/dafny0/DerivedTypes.dfy) | 0 | ||||
-rw-r--r-- | Test/dafny0/Newtypes.dfy.expect (renamed from Test/dafny0/DerivedTypes.dfy.expect) | 0 | ||||
-rw-r--r-- | Test/dafny0/NewtypesResolution.dfy (renamed from Test/dafny0/DerivedTypesResolution.dfy) | 0 | ||||
-rw-r--r-- | Test/dafny0/NewtypesResolution.dfy.expect (renamed from Test/dafny0/DerivedTypesResolution.dfy.expect) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/Test/dafny0/DerivedTypes.dfy b/Test/dafny0/Newtypes.dfy index 77fbe75d..77fbe75d 100644 --- a/Test/dafny0/DerivedTypes.dfy +++ b/Test/dafny0/Newtypes.dfy diff --git a/Test/dafny0/DerivedTypes.dfy.expect b/Test/dafny0/Newtypes.dfy.expect index 0161a713..0161a713 100644 --- a/Test/dafny0/DerivedTypes.dfy.expect +++ b/Test/dafny0/Newtypes.dfy.expect diff --git a/Test/dafny0/DerivedTypesResolution.dfy b/Test/dafny0/NewtypesResolution.dfy index 0fe36eec..0fe36eec 100644 --- a/Test/dafny0/DerivedTypesResolution.dfy +++ b/Test/dafny0/NewtypesResolution.dfy diff --git a/Test/dafny0/DerivedTypesResolution.dfy.expect b/Test/dafny0/NewtypesResolution.dfy.expect index 091ca523..091ca523 100644 --- a/Test/dafny0/DerivedTypesResolution.dfy.expect +++ b/Test/dafny0/NewtypesResolution.dfy.expect |