cprover
undefined_functions.h File Reference

Handling of functions without body. More...

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

Go to the source code of this file.

Functions

void list_undefined_functions (const goto_functionst &goto_functions, const namespacet &ns, std::ostream &os)
 
void undefined_function_abort_path (goto_functionst &goto_functions)
 

Detailed Description

Handling of functions without body.

Definition in file undefined_functions.h.

Function Documentation

◆ list_undefined_functions()

void list_undefined_functions ( const goto_functionst goto_functions,
const namespacet ns,
std::ostream &  os 
)

◆ undefined_function_abort_path()