fix: make check_polymorph_diff pass by committing properties

texastony · texastony · commit 0b87846c1fa5 · 2024-07-01T15:37:50.000-07:00
diff --git a/TestVectors/project.properties b/TestVectors/project.properties
@@ -0,0 +1,4 @@
+# This file stores the top level dafny version information.
+# All elements of the project need to agree on this version.
+dafnyVersion=4.2.0
+dafnyRuntimeJavaVersion=4.2.0
