Adding tests for attribute help and other help (#3964)

davidcok · davidcok · web-flow · commit 51340594e554 · 2023-05-08T19:54:30.000Z
<small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small> --------- Co-authored-by: davidcok <davidcok@github.com>
diff --git a/Source/XUnitExtensions/Lit/ILitCommand.cs b/Source/XUnitExtensions/Lit/ILitCommand.cs
@@ -66,7 +66,9 @@ public static Token[] Tokenize(string line) {
             kind = Kind.Verbatim;
           }
         } else {
-          if (c is '*' or '?' && !singleQuoted) {
+          if (c is '?' && inProgressArgument.Length == 1 && inProgressArgument[0] == '-') {
+            kind = Kind.Verbatim;
+          } else if (c is '*' or '?' && !singleQuoted) {
             kind = Kind.MustGlob;
           }
           inProgressArgument.Append(c);
diff --git a/Test/attr-help.dfy b/Test/attr-help.dfy
@@ -0,0 +1,3 @@
+// RUN: %baredafny /attrHelp
+
+// Just checks that the attribute help option works
diff --git a/Test/legacy-help.dfy b/Test/legacy-help.dfy
@@ -0,0 +1 @@
+// RUN: %baredafny -?
diff --git a/Test/new-cli-help.dfy b/Test/new-cli-help.dfy
@@ -0,0 +1,3 @@
+// RUN: %baredafny -h > "%t"
+// RUN: %baredafny --help > "%t_X"
+// RUN: %diff "%t" "%t_X"

Original file line number	Diff line number	Diff line change
`@@ -66,7 +66,9 @@ public static Token[] Tokenize(string line) {`
`66`	`66`	`kind = Kind.Verbatim;`
`67`	`67`	`}`
`68`	`68`	`} else {`
`69`		`- if (c is '*' or '?' && !singleQuoted) {`
	`69`	`+ if (c is '?' && inProgressArgument.Length == 1 && inProgressArgument[0] == '-') {`
	`70`	`+ kind = Kind.Verbatim;`
	`71`	`+ } else if (c is '*' or '?' && !singleQuoted) {`
`70`	`72`	`kind = Kind.MustGlob;`
`71`	`73`	`}`
`72`	`74`	`inProgressArgument.Append(c);`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// RUN: %baredafny /attrHelp`
	`2`	`+`
	`3`	`+// Just checks that the attribute help option works`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// RUN: %baredafny -h > "%t"`
	`2`	`+// RUN: %baredafny --help > "%t_X"`
	`3`	`+// RUN: %diff "%t" "%t_X"`