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 30 #define CPROVER_EXIT_VERIFICATION_INCONCLUSIVE 5 33 #define CPROVER_EXIT_USAGE_ERROR 1 37 #define CPROVER_EXIT_PARSE_ERROR 2 41 #define CPROVER_EXIT_EXCEPTION 6 43 #define CPROVER_EXIT_EXCEPTION_GOTO_INSTRUMENT 11 46 #define CPROVER_EXIT_INTERNAL_ERROR 6 50 #define CPROVER_EXIT_INCORRECT_TASK 6 53 #define CPROVER_EXIT_INTERNAL_OUT_OF_MEMORY 6 56 #define CPROVER_EXIT_SET_PROPERTIES_FAILED 7 60 #define CPROVER_EXIT_PREPROCESSOR_TEST_FAILED 8 63 #define CPROVER_EXIT_CONVERSION_FAILED 10 65 #endif // CPROVER_UTIL_EXIT_CODES_H