1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
/*++
Copyright (c) 2006 Microsoft Corporation
Module Name:
error_codes.h
Abstract:
Error codes produced by Z3.
Author:
Leonardo de Moura (leonardo) 2007-09-04.
Revision History:
--*/
#pragma once
#define ERR_OK 0
#define ERR_MEMOUT 101
#define ERR_TIMEOUT 102
#define ERR_PARSER 103
#define ERR_UNSOUNDNESS 104
#define ERR_INCOMPLETENESS 105
#define ERR_INI_FILE 106
#define ERR_NOT_IMPLEMENTED_YET 107
#define ERR_OPEN_FILE 108
#define ERR_CMD_LINE 109
#define ERR_INTERNAL_FATAL 110
#define ERR_TYPE_CHECK 111
#define ERR_UNKNOWN_RESULT 112
#define ERR_ALLOC_EXCEEDED 113
#define ERR_UNREACHABLE 114