CBMC
|
JSON goto_functions deserialization. More...
Go to the source code of this file.
Functions | |
void | goto_functions_from_json (const jsont &json, goto_functionst &goto_functions) |
Deserialize goto_functionst from JSON. | |
JSON goto_functions deserialization.
Definition in file json_goto_functions.h.
void goto_functions_from_json | ( | const jsont & | json, |
goto_functionst & | goto_functions | ||
) |
Deserialize goto_functionst from JSON.
json | The JSON object representing goto_functions |
goto_functions | The goto_functionst object to populate |
Definition at line 21 of file json_goto_functions.cpp.