Consistent order of parameters across the various instrument_* functions in code_contracts.* #5941
Description
CBMC version: 5.25.0
Operating system: macOS Mojave
Exact command line resulting in the issue: N/A.
What behaviour did you expect: N/A.
What happened instead:
Some instrument_* instrument_* functions from code_contracts.h use function_id while others don't. Make sure we have consistency among the parameters of these functions. Suggested here.