CBMC
exit_codes.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Exit codes
4 
5 Author: Martin Brain, martin.brain@diffblue.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_UTIL_EXIT_CODES_H
10 #define CPROVER_UTIL_EXIT_CODES_H
11 
14 
16 #define CPROVER_EXIT_SUCCESS 0
17 // should contemplate EX_OK from sysexits.h
18 
21 #define CPROVER_EXIT_VERIFICATION_SAFE 0
22 
25 #define CPROVER_EXIT_VERIFICATION_UNSAFE 10
26 
30 #define CPROVER_EXIT_VERIFICATION_INCONCLUSIVE 5
31 
33 #define CPROVER_EXIT_USAGE_ERROR 1
34 // should contemplate EX_USAGE from sysexits.h
35 
37 #define CPROVER_EXIT_PARSE_ERROR 2
38 // This should be the same as YY_EXIT_FAILURE
39 
41 #define CPROVER_EXIT_EXCEPTION 6
42 // should contemplate EX_SOFTWARE from sysexits.h
43 
45 #define CPROVER_EXIT_INTERNAL_ERROR 6
46 
49 #define CPROVER_EXIT_INCORRECT_TASK 6
50 
52 #define CPROVER_EXIT_INTERNAL_OUT_OF_MEMORY 6
53 
55 #define CPROVER_EXIT_SET_PROPERTIES_FAILED 7
56 // should contemplate EX_USAGE from sysexits.h
57 
59 #define CPROVER_EXIT_PREPROCESSOR_TEST_FAILED 8
60 
62 #define CPROVER_EXIT_CONVERSION_FAILED 10
63 
64 #endif // CPROVER_UTIL_EXIT_CODES_H