add -cs.dtr files to gitignores

aws · Jul 19, 2024 · 3ec12d8 · 3ec12d8
1 parent 8a732bd
commit 3ec12d8
Show file tree

Hide file tree

Showing 6 changed files with 14 additions and 1 deletion.
diff --git a/AwsCryptographicMaterialProviders/.gitignore b/AwsCryptographicMaterialProviders/.gitignore
@@ -1,6 +1,8 @@
 TestResults
 ImplementationFromDafny.cs
 TestsFromDafny.cs
+ImplementationFromDafny-cs.dtr
+TestsFromDafny-cs.dtr
 
 **/bin
 **/obj

diff --git a/AwsCryptographyPrimitives/.gitignore b/AwsCryptographyPrimitives/.gitignore
@@ -1,6 +1,8 @@
 TestResults
 ImplementationFromDafny.cs
 TestsFromDafny.cs
+ImplementationFromDafny-cs.dtr
+TestsFromDafny-cs.dtr
 
 **/bin
 **/obj
diff --git a/ComAmazonawsDynamodb/.gitignore b/ComAmazonawsDynamodb/.gitignore
@@ -2,6 +2,9 @@ TestResults
 ImplementationFromDafny.cs
 TestsFromDafny.cs
 Folder.DotSettings.user
+ImplementationFromDafny-cs.dtr
+TestsFromDafny-cs.dtr
+
 **/bin
 **/obj
 

diff --git a/ComAmazonawsKms/.gitignore b/ComAmazonawsKms/.gitignore
@@ -1,6 +1,8 @@
 TestResults
 ImplementationFromDafny.cs
 TestsFromDafny.cs
+ImplementationFromDafny-cs.dtr
+TestsFromDafny-cs.dtr
 
 **/bin
 **/obj
diff --git a/StandardLibrary/.gitignore b/StandardLibrary/.gitignore
@@ -1,3 +1,5 @@
 TestResults
 ImplementationFromDafny.cs
-TestsFromDafny.cs
+TestsFromDafny.cs
+ImplementationFromDafny-cs.dtr
+TestsFromDafny-cs.dtr
diff --git a/TestVectorsAwsCryptographicMaterialProviders/.gitignore b/TestVectorsAwsCryptographicMaterialProviders/.gitignore
@@ -1,4 +1,6 @@
 TestResults
 ImplementationFromDafny.cs
 TestsFromDafny.cs
+ImplementationFromDafny-cs.dtr
+TestsFromDafny-cs.dtr
 /runtimes/java/dafny