From d49f7e369c2f882447fb6de0a0f2cb314c4d4b7e Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Tue, 13 Dec 2022 08:54:57 -0500
Subject: [PATCH] Renamed startup scripts.

---
 .../vTaskSwitchContext/{start-verifast.sh => run-verifast.sh}     | 0
 .../tasks/vTaskSwitchContext/{start-vfide.sh => run-vfide.sh}     | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename Test/VeriFast/tasks/vTaskSwitchContext/{start-verifast.sh => run-verifast.sh} (100%)
 rename Test/VeriFast/tasks/vTaskSwitchContext/{start-vfide.sh => run-vfide.sh} (100%)

diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/start-verifast.sh b/Test/VeriFast/tasks/vTaskSwitchContext/run-verifast.sh
similarity index 100%
rename from Test/VeriFast/tasks/vTaskSwitchContext/start-verifast.sh
rename to Test/VeriFast/tasks/vTaskSwitchContext/run-verifast.sh
diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/start-vfide.sh b/Test/VeriFast/tasks/vTaskSwitchContext/run-vfide.sh
similarity index 100%
rename from Test/VeriFast/tasks/vTaskSwitchContext/start-vfide.sh
rename to Test/VeriFast/tasks/vTaskSwitchContext/run-vfide.sh