package jkind;

public class ExitCodes {
	public static final int UNKNOWN_ENTRY_POINT = -1;
	public static final int INVALID_OPTIONS = -2;
	public static final int FILE_NOT_FOUND = -3;
	public static final int FILE_NOT_READABLE = -4;
	public static final int PARSE_ERROR = -5;
	public static final int STATIC_ANALYSIS_ERROR = -6;
	public static final int UNSUPPORTED_FEATURE = -7;
	public static final int UNCAUGHT_EXCEPTION = -8;
	public static final int IVC_EXCEPTION = -9;
}
