cprover
undefined_functions.cpp File Reference

Handling of functions without body. More...

#include "undefined_functions.h"
#include <ostream>
#include <goto-programs/goto_functions.h>
Include dependency graph for undefined_functions.cpp:

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.cpp.

Function Documentation

◆ list_undefined_functions()

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

◆ undefined_function_abort_path()