We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 40dfcdb commit 3e6c9a9Copy full SHA for 3e6c9a9
.gitignore
@@ -26,3 +26,4 @@ Test/*/*.exe
26
Source/DafnyExtension/z3.exe
27
Binaries/export/
28
Package/
29
+Binaries/*.xml
0 commit comments