Index: firmware/App/Controllers/ConcentratePumps.c
===================================================================
diff -u -r322747d530c1b8205be257557e53dcfe9caad50a -rf8bb43e62a4d10b64d8b197e372a56adfcfb88b9
--- firmware/App/Controllers/ConcentratePumps.c	(.../ConcentratePumps.c)	(revision 322747d530c1b8205be257557e53dcfe9caad50a)
+++ firmware/App/Controllers/ConcentratePumps.c	(.../ConcentratePumps.c)	(revision f8bb43e62a4d10b64d8b197e372a56adfcfb88b9)
@@ -352,13 +352,11 @@
                 concentratePumps[ pumpId ].execState = handleConcentratePumpControlTargetSpeedState( pumpId );
                 break;
 
-#ifndef _VECTORCAST_
             // The switch case is in a for loop so the default case cannot be covered in VectorCAST
             default:
                 SET_ALARM_WITH_2_U32_DATA( ALARM_ID_DD_SOFTWARE_FAULT, SW_FAULT_ID_CONCENTRATE_PUMP_EXEC_INVALID_STATE, pumpId )
                 concentratePumps[ pumpId ].execState = CONCENTRATE_PUMP_OFF_STATE;
                 break;
-#endif
         }
     }
 }