Bump some versions to fix tests

dafny-lang · Jun 26, 2024 · 769d157 · 769d157
1 parent 45478e1
commit 769d157
Show file tree

Hide file tree

Showing 15 changed files with 5 additions and 5 deletions.
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-cs.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-cs.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-go.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-go.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-java.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-java.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-js.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-js.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-notarget.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-notarget.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-py.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries-py.doo
diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo
diff --git a/...Files/LitTests/LitTest/comp/separate-compilation/translation-records/DuplicateModules.dtr b/...Files/LitTests/LitTest/comp/separate-compilation/translation-records/DuplicateModules.dtr
@@ -1,3 +1,3 @@
 file_format_version = "1.0"
-dafny_version = "4.6.0.0"
+dafny_version = "4.7.0.0"
 [options_by_module.Foo]
diff --git a/...s/LitTests/LitTest/comp/separate-compilation/translation-records/InvalidFormat.dfy.expect b/...s/LitTests/LitTest/comp/separate-compilation/translation-records/InvalidFormat.dfy.expect
@@ -4,5 +4,5 @@ CLI: Error: malformed dtr file NoGood.dtr
 Translation was aborted because errors were found
 
 Dafny program verifier finished with 0 verified, 0 errors
-CLI: Error: cannot load WrongDafnyVersion.dtr: it was built with Dafny 10.6.0.0, which cannot be used by Dafny 4.6.0.0
+CLI: Error: cannot load WrongDafnyVersion.dtr: it was built with Dafny 10.6.0.0, which cannot be used by Dafny 4.7.0.0
 Translation was aborted because errors were found
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/multimodule/test-go.dtr b/Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/multimodule/test-go.dtr
@@ -1,4 +1,4 @@
 file_format_version = "1.0"
-dafny_version = "4.6.0.0"
+dafny_version = "4.7.0.0"
 [options_by_module.DafnyModule1]
 go-module-name = "GoModule1"
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/multimodule/test.doo b/Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/multimodule/test.doo
diff --git a/...IntegrationTests/TestFiles/LitTests/LitTest/pythonmodule/multimodule/PythonModule1-py.dtr b/...IntegrationTests/TestFiles/LitTests/LitTest/pythonmodule/multimodule/PythonModule1-py.dtr
@@ -1,4 +1,4 @@
 file_format_version = "1.0"
-dafny_version = "4.6.0.0"
+dafny_version = "4.7.0.0"
 [options_by_module.DafnyModule1]
 python-module-name = "PythonModule1"
diff --git a/...ce/IntegrationTests/TestFiles/LitTests/LitTest/pythonmodule/multimodule/PythonModule1.doo b/...ce/IntegrationTests/TestFiles/LitTests/LitTest/pythonmodule/multimodule/PythonModule1.doo
diff --git a/...ntegrationTests/TestFiles/LitTests/LitTest/pythonmodule/nestedmodule/SomeNestedModule.doo b/...ntegrationTests/TestFiles/LitTests/LitTest/pythonmodule/nestedmodule/SomeNestedModule.doo
diff --git a/...Files/LitTests/LitTest/pythonmodule/nestedmodule/SomeNestedModule/SomeNestedModule-py.dtr b/...Files/LitTests/LitTest/pythonmodule/nestedmodule/SomeNestedModule/SomeNestedModule-py.dtr
@@ -1,4 +1,4 @@
 file_format_version = "1.0"
-dafny_version = "4.6.0.0"
+dafny_version = "4.7.0.0"
 [options_by_module."Some.Nested.Module"]
 python-module-name = "SomeNestedModule"