single_loop_incremental_symex_checker.cpp File Reference

Goto Checker using multi-path symbolic execution with incremental unwinding of a specified loop. More...

#include "single_loop_incremental_symex_checker.h"
#include <util/structured_data.h>
#include <goto-symex/slice.h>
#include "bmc_util.h"
#include "counterexample_beautification.h"

Include dependency graph for single_loop_incremental_symex_checker.cpp:

Go to the source code of this file.

Functions
void	output_incremental_status (const propertiest &properties, messaget &message_hander)

Detailed Description

Goto Checker using multi-path symbolic execution with incremental unwinding of a specified loop.

Definition in file single_loop_incremental_symex_checker.cpp.

Function Documentation

output_incremental_status()

void output_incremental_status	(	const propertiest &	properties,
		messaget &	message_hander
	)

Definition at line 52 of file single_loop_incremental_symex_checker.cpp.