cprover
link_to_library.cpp File Reference

Library Linking. More...

Include dependency graph for link_to_library.cpp:

Go to the source code of this file.

Functions

void link_to_library (goto_modelt &goto_model, message_handlert &message_handler)
 
void link_to_library (symbol_tablet &symbol_table, goto_functionst &goto_functions, message_handlert &message_handler)
 

Detailed Description

Library Linking.

Definition in file link_to_library.cpp.

Function Documentation

§ link_to_library() [1/2]

§ link_to_library() [2/2]