ci: Use official libcrypto verification model repository (#5336)

goatgoose · web-flow · commit 3777f93ffac6 · 2025-05-29T17:49:05.000Z
diff --git a/.gitmodules b/.gitmodules
@@ -1,4 +1,3 @@
 [submodule "tests/cbmc/aws-verification-model-for-libcrypto"]
 	path = tests/cbmc/aws-verification-model-for-libcrypto
-	url = https://github.com/goatgoose/aws-verification-model-for-libcrypto.git
-    branch = cbmc-test
+	url = https://github.com/awslabs/aws-verification-model-for-libcrypto.git
diff --git a/tests/cbmc/aws-verification-model-for-libcrypto b/tests/cbmc/aws-verification-model-for-libcrypto
@@ -1 +1 @@
-Subproject commit ba3ebad37850616b85a4060de333b73ed9f924bd
+Subproject commit 5d420698d032de0613688a82b2db5a4791b85284
