Exporting reset_munmap_all_arenas to C and Python Bindings#1210

Robertorosmaninho merged 2 commits into

developruntimeverification/llvm-backend:developfrom

expose_reset_munmap_all_arenasruntimeverification/llvm-backend:expose_reset_munmap_all_arenasCopy head branch name to clipboard