AutomaticShutdown ==================================================================== Brief Description ------------------------------------------------------------------------------- Off hour automatic temperature setback and system shutoff Index Description ------------------------------------------------------------------------------- * None Datapoints Description ------------------------------------------------------------------------------- * status_hvac: HVAC operation schedule Assertions Description ------------------------------------------------------------------------------- * if minimum start_time != maximum start_time and minimum end_time != maximum end_time then pass else fail Type Verification Description ------------------------------------------------------------------------------- Procedure-based Assertions Type ------------------------------------------------------------------------------- Pass