From 80651ca320b958eb554f01538bd1fd4b5cbaf990 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Tue, 11 Oct 2022 14:50:43 -0400
Subject: [PATCH] Switched submodules to `verifast` branch.

---
 .gitmodules | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitmodules b/.gitmodules
index 969087631..c0ce92937 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,8 @@
 [submodule "verification/verifast/demos/FreeRTOS-SMP-Demos"]
 	path = verification/verifast/demos/FreeRTOS-SMP-Demos
 	url = https://github.com/Tobias-internship-AWS-2022/FreeRTOS-SMP-Demos.git
+	branch = verifast
 [submodule "verification/verifast/sdks/pico-sdk"]
 	path = verification/verifast/sdks/pico-sdk
 	url = https://github.com/Tobias-internship-AWS-2022/pico-sdk.git
+	branch = verifast