Go to the documentation of this file. 9 #ifndef CPROVER_UTIL_EXIT_CODES_H 10 #define CPROVER_UTIL_EXIT_CODES_H 16 #define CPROVER_EXIT_SUCCESS 0 21 #define CPROVER_EXIT_VERIFICATION_SAFE 0 25 #define CPROVER_EXIT_VERIFICATION_UNSAFE 10 28 #define CPROVER_EXIT_USAGE_ERROR 1 32 #define CPROVER_EXIT_PARSE_ERROR 2 36 #define CPROVER_EXIT_EXCEPTION 6 38 #define CPROVER_EXIT_EXCEPTION_GOTO_INSTRUMENT 11 41 #define CPROVER_EXIT_INTERNAL_ERROR 6 45 #define CPROVER_EXIT_INCORRECT_TASK 6 48 #define CPROVER_EXIT_INTERNAL_OUT_OF_MEMORY 6 51 #define CPROVER_EXIT_SET_PROPERTIES_FAILED 7 55 #define CPROVER_EXIT_PREPROCESSOR_TEST_FAILED 8 58 #define CPROVER_EXIT_CONVERSION_FAILED 10 60 #endif // CPROVER_UTIL_EXIT_CODES_H