cprover
Loading...
Searching...
No Matches
validate_goto_model.cpp File Reference
Include dependency graph for validate_goto_model.cpp:

Go to the source code of this file.

Functions

void validate_goto_model (const goto_functionst &goto_functions, const validation_modet vm, const goto_model_validation_optionst validation_options)

Function Documentation

◆ validate_goto_model()

void validate_goto_model ( const goto_functionst & goto_functions,
const validation_modet vm,
const goto_model_validation_optionst validation_options )

Definition at line 128 of file validate_goto_model.cpp.