|
CBMC
|
JSON goto_functions deserialization. More...
This graph shows which files directly or indirectly include this file: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.