exit_codes.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Exit codes
 
Author: Martin Brain, martin.brain@diffblue.com
 
\*******************************************************************/
 
#ifndef CPROVER_UTIL_EXIT_CODES_H
#define CPROVER_UTIL_EXIT_CODES_H


#define CPROVER_EXIT_SUCCESS 0
// should contemplate EX_OK from sysexits.h

#define CPROVER_EXIT_VERIFICATION_SAFE 0

#define CPROVER_EXIT_VERIFICATION_UNSAFE 10

#define CPROVER_EXIT_VERIFICATION_INCONCLUSIVE 5

#define CPROVER_EXIT_USAGE_ERROR 1
// should contemplate EX_USAGE from sysexits.h

#define CPROVER_EXIT_PARSE_ERROR 2
// This should be the same as YY_EXIT_FAILURE

#define CPROVER_EXIT_EXCEPTION 6
// should contemplate EX_SOFTWARE from sysexits.h

#define CPROVER_EXIT_INTERNAL_ERROR 6

#define CPROVER_EXIT_INCORRECT_TASK 6

#define CPROVER_EXIT_INTERNAL_OUT_OF_MEMORY 6

#define CPROVER_EXIT_SET_PROPERTIES_FAILED 7
// should contemplate EX_USAGE from sysexits.h

#define CPROVER_EXIT_PREPROCESSOR_TEST_FAILED 8

#define CPROVER_EXIT_CONVERSION_FAILED 10
 
#endif // CPROVER_UTIL_EXIT_CODES_H