reel temp docker exec#32

hunterbrightdesign wants to merge 9 commits intomainesbmc/esbmc-python-cpp:mainfrom

check-dynamic_traceesbmc/esbmc-python-cpp:check-dynamic_traceCopy head branch name to clipboard