crash.h File Reference

---

Detailed Description

A simple crash handler.

Author:

Christian Biere

Date:

2006

#include "common.h"

Go to the source code of this file.

Functions
void	crash_init (const char *pathname, const char *argv0, int pause_process)
	Installs a simple crash handler.

---

Function Documentation

void crash_init (  const char *  pathname, const char *  argv0, int  pause_process )

Installs a simple crash handler. Parameters: pathname  The pathname of the program to execute on crash. argv0  The original argv[0] from main().

---