diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/ExecutionState.h | 2 | ||||
| -rw-r--r-- | include/klee/klee.h | 8 |
2 files changed, 0 insertions, 10 deletions
diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h index 69b29865..711cf1b3 100644 --- a/include/klee/ExecutionState.h +++ b/include/klee/ExecutionState.h @@ -144,8 +144,6 @@ public: std::set<std::string> arrayNames; std::string getFnAlias(std::string fn); - void addFnAlias(std::string old_fn, std::string new_fn); - void removeFnAlias(std::string fn); // The objects handling the klee_open_merge calls this state ran through std::vector<ref<MergeHandler> > openMergeStack; diff --git a/include/klee/klee.h b/include/klee/klee.h index 9dcc9f5f..2446fc07 100644 --- a/include/klee/klee.h +++ b/include/klee/klee.h @@ -138,14 +138,6 @@ extern "C" { /* Enable/disable forking. */ void klee_set_forking(unsigned enable); - /* klee_alias_function("foo", "bar") will replace, at runtime (on - the current path and all paths spawned on the current path), all - calls to foo() by calls to bar(). foo() and bar() have to exist - and have identical types. Use klee_alias_function("foo", "foo") - to undo. Be aware that some special functions, such as exit(), - may not always work. */ - void klee_alias_function(const char* fn_name, const char* new_fn_name); - /* Print stack trace. */ void klee_stack_trace(void); |