Migrate almost all CLI tests to use the command based CLI #5255
Conversation
keyboardDrummer
changed the title
| @@ -1,3 +1,3 @@ | |||
|
|
|||
| Dafny program verifier finished with 6 verified, 0 errors | |||
| Dafny program verifier finished with 7 verified, 0 errors | |||
There was a problem hiding this comment.
Do you know why this changed? I don't think it's likely a problem, but it's odd that just changing to the new CLI would do this.
There was a problem hiding this comment.
Oh, it's due to the change in default for definite assignment, isn't it?
There was a problem hiding this comment.
Could be, but also the previous number was amount of implementations (a concept almost invisible to the user), and the new number is amount of assertion batches (slightly visible).
| @@ -1,5 +1,5 @@ | |||
| // NONUNIFORM: need to add support for tooltips to the new CLI (if that makes sense) | |||
There was a problem hiding this comment.
Updated the test
| // RUN: %diff "%s.expect" "%t" | ||
|
|
||
| type MyType // compile error: abstract type |
There was a problem hiding this comment.
I'm confused about this change. It should still be a compile error, shouldn't it?
There was a problem hiding this comment.
I don't know. The type is not used by the rest of the code, maybe that matters.
Description
How has this been tested?
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.