CBMC generates traces with builtin function calls visible and returns hidden. This patch fixes this throwing away hidden steps in a trace, but retaining all function calls and returns to make trace rendering of function calls work. This is a temporary patch until https://github.com/diffblue/cbmc/issues/5413 is addressed.
This pull request also includes 4 other commits fixing small 5-line issues:
Add installation tips to README.md
Expand srcdir and wkdir args to absolute pathnames.
Retain hidden function call/return pairs in traces
CBMC generates traces with builtin function calls visible and returns hidden. This patch fixes this throwing away hidden steps in a trace, but retaining all function calls and returns to make trace rendering of function calls work. This is a temporary patch until https://github.com/diffblue/cbmc/issues/5413 is addressed.
This pull request also includes 4 other commits fixing small 5-line issues: