Goto Verifier for stopping at the first failing property. More...

#include "bmc_util.h"
#include "goto_verifier.h"

Include dependency graph for stop_on_fail_verifier.h:

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

Classes
class	stop_on_fail_verifiert< incremental_goto_checkerT >
	Stops when the first failing property is found. More...

Detailed Description

Goto Verifier for stopping at the first failing property.

Classes