Merge pull request #3558 from peterschrammel/verification-inconclusive

Reserve exit code for VERIFICATION INCONCLUSIVE

Author: peterschrammel

src/util/exit_codes.h

@@ -16,14 +16,19 @@ Author: Martin Brain, [email protected]
 #define CPROVER_EXIT_SUCCESS 0
 // should contemplate EX_OK from sysexits.h
 
-/// Verification successful indiciates the analysis has been performed without
+/// Verification successful indicates the analysis has been performed without
 /// error AND the software is safe (w.r.t. the current analysis / config / spec)
 #define CPROVER_EXIT_VERIFICATION_SAFE 0
 
-/// Verification successful indiciates the analysis has been performed without
+/// Verification successful indicates the analysis has been performed without
 /// error AND the software is not safe (w.r.t. current analysis / config / spec)
 #define CPROVER_EXIT_VERIFICATION_UNSAFE 10
 
+/// Verification inconclusive indicates the analysis has been performed without
+/// error AND the software is neither safe nor unsafe
+/// (w.r.t. current analysis / config / spec)
+#define CPROVER_EXIT_VERIFICATION_INCONCLUSIVE 5
+
 /// A usage error is returned when the command line is invalid or conflicting.
 #define CPROVER_EXIT_USAGE_ERROR 1
 // should contemplate EX_USAGE from sysexits.h