replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix include order in path-symex

This commit is contained in:
reuk 2017-05-07 14:13:10 +01:00
parent 895a8fdd53
commit 4856844016
7 changed files with 12 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/path-symex/loc_ref.h
View File

@ -12,7 +12,7 @@ Author: Daniel Kroening, kroening@kroening.com
#ifndef CPROVER_PATH_SYMEX_LOC_REF_H
#define CPROVER_PATH_SYMEX_LOC_REF_H
#include <iosfwd>
#include <ostream>
class loc_reft
{

3
src/path-symex/path_symex.cpp
View File

@ -9,6 +9,8 @@ Author: Daniel Kroening, kroening@kroening.com
/// \file
/// Concrete Symbolic Transformer
#include "path_symex.h"
#include <util/arith_tools.h>
#include <util/simplify_expr.h>
#include <util/string2int.h>
@ -22,7 +24,6 @@ Author: Daniel Kroening, kroening@kroening.com
#include <pointer-analysis/dereference.h>
#include "path_symex.h"
#include "path_symex_class.h"
#ifdef DEBUG

4
src/path-symex/path_symex_history.cpp
View File

@ -9,14 +9,14 @@ Author: Daniel Kroening, kroening@kroening.com
/// \file
/// History of path-based symbolic simulator
#include "path_symex_history.h"
#include <algorithm>
#include <util/decision_procedure.h>
#include <langapi/language_util.h>
#include "path_symex_history.h"
void path_symex_stept::output(std::ostream &out) const
{
out << "PCs:";

4
src/path-symex/path_symex_state.cpp
View File

@ -9,6 +9,8 @@ Author: Daniel Kroening, kroening@kroening.com
/// \file
/// State of path-based symbolic simulator
#include "path_symex_state.h"
#include <util/simplify_expr.h>
#include <util/arith_tools.h>
#include <util/decision_procedure.h>
@ -19,8 +21,6 @@ Author: Daniel Kroening, kroening@kroening.com
#include <goto-symex/adjust_float_expressions.h>
#include "path_symex_state.h"
#ifdef DEBUG
#include <iostream>
#include <langapi/language_util.h>

4
src/path-symex/path_symex_state_read.cpp
View File

@ -9,13 +9,13 @@ Author: Daniel Kroening, kroening@kroening.com
/// \file
/// State of path-based symbolic simulator
#include "path_symex_state.h"
#include <util/simplify_expr.h>
#include <util/arith_tools.h>
#include <pointer-analysis/dereference.h>
#include "path_symex_state.h"
#ifdef DEBUG
#include <iostream>
#include <langapi/language_util.h>

4
src/path-symex/var_map.cpp
View File

@ -9,14 +9,14 @@ Author: Daniel Kroening, kroening@kroening.com
/// \file
/// Variable Numbering
#include "var_map.h"
#include <ostream>
#include <util/symbol.h>
#include <util/std_expr.h>
#include <util/prefix.h>
#include "var_map.h"
var_mapt::var_infot &var_mapt::operator()(
const irep_idt &symbol,
const irep_idt &suffix,

1
src/path-symex/var_map.h
View File

@ -17,6 +17,7 @@ Author: Daniel Kroening, kroening@kroening.com
#include <util/namespace.h>
#include <util/type.h>
#include <util/std_expr.h>
class var_mapt
{