bmc.cpp File Reference

Symbolic Execution of ANSI-C. More...

#include "bmc.h"
#include <fstream>
#include <iostream>
#include <memory>
#include <util/string2int.h>
#include <util/source_location.h>
#include <util/string_utils.h>
#include <util/time_stopping.h>
#include <util/message.h>
#include <util/json.h>
#include <util/cprover_prefix.h>
#include <langapi/mode.h>
#include <langapi/languages.h>
#include <langapi/language_util.h>
#include <ansi-c/ansi_c_language.h>
#include <goto-programs/xml_goto_trace.h>
#include <goto-programs/json_goto_trace.h>
#include <goto-programs/graphml_witness.h>
#include <goto-symex/build_goto_trace.h>
#include <goto-symex/slice.h>
#include <goto-symex/slice_by_trace.h>
#include <goto-symex/memory_model_sc.h>
#include <goto-symex/memory_model_tso.h>
#include <goto-symex/memory_model_pso.h>
#include "counterexample_beautification.h"
#include "fault_localization.h"

Include dependency graph for bmc.cpp:

Go to the source code of this file.

Detailed Description

Symbolic Execution of ANSI-C.

Definition in file bmc.cpp.