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