error_8h_source.html

#ifndef _error_h_INCLUDED

#define _error_h_INCLUDED


#include "attribute.h"


#include "global.h"

ABC_NAMESPACE_HEADER_START


// clang-format off


void kissat_error (const char *fmt, ...) ATTRIBUTE_FORMAT (1, 2);

void kissat_fatal (const char *fmt, ...) ATTRIBUTE_FORMAT (1, 2);


void kissat_fatal_message_start (void);


void kissat_call_function_instead_of_abort (void (*)(void));

void kissat_abort (void);


// clang-format on


ABC_NAMESPACE_HEADER_END


#endif

ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51

ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50

attribute.h

ATTRIBUTE_FORMAT
#define ATTRIBUTE_FORMAT(FORMAT_POSITION, VARIADIC_ARGUMENT_POSITION)
Definition attribute.h:11

kissat_call_function_instead_of_abort
void kissat_call_function_instead_of_abort(void(*f)(void))
Definition error.c:12

kissat_fatal_message_start
void kissat_fatal_message_start(void)
Definition error.c:40

kissat_abort
void kissat_abort(void)
Definition error.c:19

kissat_fatal
void kissat_fatal(const char *fmt,...)
Definition error.c:58

kissat_error
ABC_NAMESPACE_HEADER_START void kissat_error(const char *fmt,...) ATTRIBUTE_FORMAT(1

global.h

const
#define const
Definition zconf.h:196