error.h File Reference

#include "attribute.h"
#include "global.h"

Include dependency graph for error.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
ABC_NAMESPACE_HEADER_START void	kissat_error (const char *fmt,...) ATTRIBUTE_FORMAT(1
ABC_NAMESPACE_HEADER_START void void	kissat_fatal (const char *fmt,...) ATTRIBUTE_FORMAT(1
ABC_NAMESPACE_HEADER_START void void void	kissat_fatal_message_start (void)
void	kissat_call_function_instead_of_abort (void(*)(void))
void	kissat_abort (void)

Function Documentation

kissat_abort()

void kissat_abort

(

void

)

Definition at line 19 of file error.c.

{
  if (kissat_abort_function)
    { FLUSH_COVERAGE (); kissat_abort_function (); } // Keep all in this line.
  else
    { FLUSH_COVERAGE (); abort (); }                 // Keep all in this line.
}

Here is the call graph for this function:

Here is the caller graph for this function:

kissat_call_function_instead_of_abort()

void kissat_call_function_instead_of_abort

(

void(*

f )(void)

)

Definition at line 12 of file error.c.

                                                              {
  kissat_abort_function = f;
}

Here is the caller graph for this function:

kissat_error()

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

kissat_fatal()

ABC_NAMESPACE_HEADER_START void void kissat_fatal	(	const char *	fmt,
			... )

Here is the call graph for this function:

kissat_fatal_message_start()

ABC_NAMESPACE_HEADER_START void void void kissat_fatal_message_start

(

void

)

Definition at line 40 of file error.c.

                                       {
  typed_error_message_start ("fatal error");
}

Here is the caller graph for this function: