CBMC: Added IOT_SYSTEM_TYPES_FILE from CMakeLists.txt to CBMC build (#263)
CBMC: Added IOT_SYSTEM_TYPES_FILE from CMakeLists.txt to CBMC build (#263)


aws/aws-iot-device-sdk-embedded-C,aws/aws-iot-device-sdk-embedded-C,aws/aws-iot-device-sdk-embedded-C