#include <fault_localization.h>
|
typedef std::map< irep_idt, goalt > | goal_mapt |
|
enum | message_levelt {
M_ERROR =1,
M_WARNING =2,
M_RESULT =4,
M_STATUS =6,
M_STATISTICS =8,
M_PROGRESS =9,
M_DEBUG =10
} |
|
static unsigned | eval_verbosity (const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest) |
| Parse a (user-)provided string as a verbosity level and set it as the verbosity of dest. More...
|
|
static commandt | command (unsigned c) |
| Create an ECMA-48 SGR (Select Graphic Rendition) command. More...
|
|
goal_mapt | goal_map |
|
static eomt | eom |
|
static const commandt | reset |
| return to default formatting, as defined by the terminal More...
|
|
static const commandt | red |
| render text with red foreground color More...
|
|
static const commandt | green |
| render text with green foreground color More...
|
|
static const commandt | yellow |
| render text with yellow foreground color More...
|
|
static const commandt | blue |
| render text with blue foreground color More...
|
|
static const commandt | magenta |
| render text with magenta foreground color More...
|
|
static const commandt | cyan |
| render text with cyan foreground color More...
|
|
static const commandt | bright_red |
| render text with bright red foreground color More...
|
|
static const commandt | bright_green |
| render text with bright green foreground color More...
|
|
static const commandt | bright_yellow |
| render text with bright yellow foreground color More...
|
|
static const commandt | bright_blue |
| render text with bright blue foreground color More...
|
|
static const commandt | bright_magenta |
| render text with bright magenta foreground color More...
|
|
static const commandt | bright_cyan |
| render text with bright cyan foreground color More...
|
|
static const commandt | bold |
| render text with bold font More...
|
|
static const commandt | faint |
| render text with faint font More...
|
|
static const commandt | italic |
| render italic text More...
|
|
static const commandt | underline |
| render underlined text More...
|
|
Definition at line 24 of file fault_localization.h.
◆ lpoints_mapt
◆ lpoints_valuet
◆ lpointst
◆ fault_localizationt()
◆ check()
◆ collect_guards()
void fault_localizationt::collect_guards |
( |
lpointst & |
lpoints | ) |
|
|
protected |
◆ do_before_solving()
virtual void fault_localizationt::do_before_solving |
( |
| ) |
|
|
inlineprotectedvirtual |
◆ freeze_guards()
void fault_localizationt::freeze_guards |
( |
| ) |
|
|
protected |
◆ get_failed_property()
symex_target_equationt::SSA_stepst::const_iterator fault_localizationt::get_failed_property |
( |
| ) |
|
|
protected |
◆ goal_covered()
◆ localize_linear()
void fault_localizationt::localize_linear |
( |
lpointst & |
lpoints | ) |
|
|
protected |
◆ operator()()
◆ report() [1/2]
void fault_localizationt::report |
( |
irep_idt |
goal_id | ) |
|
|
protected |
◆ report() [2/2]
void fault_localizationt::report |
( |
const cover_goalst & |
cover_goals | ) |
|
|
protectedvirtual |
◆ report_xml()
◆ run()
void fault_localizationt::run |
( |
irep_idt |
goal_id | ) |
|
|
protected |
◆ run_decision_procedure()
◆ stop_on_fail()
◆ update_scores()
void fault_localizationt::update_scores |
( |
lpointst & |
lpoints | ) |
|
|
protected |
◆ bmc
bmct& fault_localizationt::bmc |
|
protected |
◆ failed
symex_target_equationt::SSA_stepst::const_iterator fault_localizationt::failed |
|
protected |
◆ goto_functions
◆ lpoints_map
◆ options
const optionst& fault_localizationt::options |
|
protected |
The documentation for this class was generated from the following files: