Report copyright - SPARK for the MISRA-C Developer - AdaCore · SPARKfortheMISRA-CDeveloper,Release2020-01 uint32_t prod = qty * time_step; Here,themultiplicationoftwounsigned16-bitvaluesandassignmentoftheresulttoanunsigned
Please pass captcha verification before submit form