cprover
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 
28 #define CPROVER_EXIT_USAGE_ERROR 1
29 // should contemplate EX_USAGE from sysexits.h
30 
32 #define CPROVER_EXIT_PARSE_ERROR 2
33 // This should be the same as YY_EXIT_FAILURE
34 
36 #define CPROVER_EXIT_EXCEPTION 6
37 // should contemplate EX_SOFTWARE from sysexits.h
38 #define CPROVER_EXIT_EXCEPTION_GOTO_INSTRUMENT 11
39 
41 #define CPROVER_EXIT_INTERNAL_ERROR 6
42 
45 #define CPROVER_EXIT_INCORRECT_TASK 6
46 
48 #define CPROVER_EXIT_INTERNAL_OUT_OF_MEMORY 6
49 
51 #define CPROVER_EXIT_SET_PROPERTIES_FAILED 7
52 // should contemplate EX_USAGE from sysexits.h
53 
55 #define CPROVER_EXIT_PREPROCESSOR_TEST_FAILED 8
56 
58 #define CPROVER_EXIT_CONVERSION_FAILED 10
59 
60 #endif // CPROVER_UTIL_EXIT_CODES_H