Robuta

https://diffblue.github.io/cbmc/structinterpretert_1_1function__assignments__contextt.html CBMC: interpretert::function_assignments_contextt Struct Reference cbmc function assignments struct reference