Index: firmware/App/Controllers/Switches.c
===================================================================
diff -u -r6cc48a92eda5d3b797eb470b37bb097907dbea8e -r28cd9da453de6282baea3113cf9f787810aae1e5
--- firmware/App/Controllers/Switches.c	(.../Switches.c)	(revision 6cc48a92eda5d3b797eb470b37bb097907dbea8e)
+++ firmware/App/Controllers/Switches.c	(.../Switches.c)	(revision 28cd9da453de6282baea3113cf9f787810aae1e5)
@@ -7,8 +7,8 @@
 *
 * @file    Switches.c
 *
-* @author  (last)      Darren Cox
-* @date    (last)      10-Mar-2022
+* @author  (last)      Dara Navaei
+* @date    (last)      25-May-2022
 *
 * @author  (original)  Dara Navaei
 * @date    (original)  25-Jul-2021
@@ -104,9 +104,12 @@
                 currentSwitchStatus = ( PUMP_TRACK_SWITCH_MASK == getFPGAPumpTrackSwitchStatus() ? STATE_OPEN : STATE_CLOSED );
                 break;
 
+#ifndef _VECTORCAST_
+            // The default cannot be reached in VectorCAST since the cases are run in a for loop
             default:
                 SET_ALARM_WITH_2_U32_DATA( ALARM_ID_HD_SOFTWARE_FAULT, SW_FAULT_ID_HD_INVALID_SWITCH_ID, i )
                 break;
+#endif
         }
 
         // Check if the current switch status is not the same as the recorded data