1 /* 2 * This file is part of the Yices SMT Solver. 3 * Copyright (C) 2017 SRI International. 4 * 5 * Yices is free software: you can redistribute it and/or modify 6 * it under the terms of the GNU General Public License as published by 7 * the Free Software Foundation, either version 3 of the License, or 8 * (at your option) any later version. 9 * 10 * Yices is distributed in the hope that it will be useful, 11 * but WITHOUT ANY WARRANTY; without even the implied warranty of 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 * GNU General Public License for more details. 14 * 15 * You should have received a copy of the GNU General Public License 16 * along with Yices. If not, see <http://www.gnu.org/licenses/>. 17 */ 18 19 /* 20 * On non-recoverable errors, the Yices binary exits with a non-zero status. 21 * The status values are defined here for different error conditions. 22 * - code = 0 means success 23 * - code != 0 means error 24 */ 25 26 #ifndef __YICES_EXIT_CODES_H 27 #define __YICES_EXIT_CODES_H 28 29 #include <stdlib.h> 30 31 #define YICES_EXIT_OUT_OF_MEMORY 16 32 #define YICES_EXIT_SYNTAX_ERROR 17 33 #define YICES_EXIT_FILE_NOT_FOUND 18 34 #define YICES_EXIT_USAGE 19 35 #define YICES_EXIT_ERROR 20 36 #define YICES_EXIT_INTERRUPTED 21 37 #define YICES_EXIT_INTERNAL_ERROR 22 38 #define YICES_EXIT_SYSTEM_ERROR 23 39 // Since 2.6.2. 40 #define YICES_EXIT_TLS_ERROR 24 41 42 #define YICES_EXIT_SUCCESS EXIT_SUCCESS 43 44 #endif /* __YICES_EXIT_CODES_H */ 45