cprover
lazy_goto_model.cpp File Reference

Author: Diffblue Ltd. More...

#include "lazy_goto_model.h"
#include "read_goto_binary.h"
#include "rebuild_goto_start_function.h"
#include <langapi/mode.h>
#include <util/cmdline.h>
#include <util/config.h>
#include <util/journalling_symbol_table.h>
#include <util/unicode.h>
#include <langapi/language.h>
#include <fstream>
Include dependency graph for lazy_goto_model.cpp:

Go to the source code of this file.

Detailed Description

Author: Diffblue Ltd.

Model for lazy loading of functions

Definition in file lazy_goto_model.cpp.