cprover
Loading...
Searching...
No Matches
splice_call.h File Reference

Harnessing for goto functions. More...

#include <string>
Include dependency graph for splice_call.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool splice_call (goto_functionst &goto_functions, const std::string &callercallee, const symbol_table_baset &symbol_table, message_handlert &message_handler)

Detailed Description

Harnessing for goto functions.

Definition in file splice_call.h.

Function Documentation

◆ splice_call()

bool splice_call ( goto_functionst & goto_functions,
const std::string & callercallee,
const symbol_table_baset & symbol_table,
message_handlert & message_handler )

Definition at line 35 of file splice_call.cpp.