Index: firmware/App/Controllers/Switches.c
===================================================================
diff -u -ref6d5a5ca314cbe30131156824e9d32792402fc4 -rdbf9c245d46c7536c72d277da24f7b44d7a84118
--- firmware/App/Controllers/Switches.c	(.../Switches.c)	(revision ef6d5a5ca314cbe30131156824e9d32792402fc4)
+++ firmware/App/Controllers/Switches.c	(.../Switches.c)	(revision dbf9c245d46c7536c72d277da24f7b44d7a84118)
@@ -104,9 +104,12 @@
                 currentSwitchStatus = ( PUMP_TRACK_SWITCH_MASK == getFPGAPumpTrackSwitchStatus() ? STATE_OPEN : STATE_CLOSED );
                 break;
 
+#ifndef _VECTORCAST_
+            // Since this is a for loop the default cannot be reached in VectorCAST for 100% coverage
             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