error.c File Reference

#include "error.h"
#include "colors.h"
#include "cover.h"
#include <stdarg.h>
#include <stdlib.h>

Include dependency graph for error.c:

Go to the source code of this file.

Functions
void	kissat_call_function_instead_of_abort (void(*f)(void))
void	kissat_abort (void)
void	kissat_fatal_message_start (void)
void	kissat_error (const char *fmt,...)
void	kissat_fatal (const char *fmt,...)

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()

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

Definition at line 51 of file error.c.

                                         {
  va_list ap;
  va_start (ap, fmt);
  vprint_error ("error", fmt, &ap);
  va_end (ap);
}

kissat_fatal()

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

Definition at line 58 of file error.c.

                                         {
  va_list ap;
  va_start (ap, fmt);
  vprint_error ("fatal error", fmt, &ap);
  va_end (ap);
  kissat_abort ();
}

Here is the call graph for this function:

Here is the caller graph for this function:

kissat_fatal_message_start()

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: