Fault Localization for Goto Symex. More...

#include "goto_symex_fault_localizer.h"
#include <util/ui_message.h>
#include <goto-symex/symex_target_equation.h>
#include <solvers/stack_decision_procedure.h>

Include dependency graph for goto_symex_fault_localizer.cpp:

Go to the source code of this file.

Detailed Description

Fault Localization for Goto Symex.

Definition in file goto_symex_fault_localizer.cpp.