The MacOS header file _ctype.h contains inlined function
definitions, and cbmc coverage data can include coverage data for
these functions. Since we don't generally care about coverage of
system code, and since we don't generally have easy access to source
code for system calls, we omit this code from the coverage
calculations.
Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
The MacOS header file
_ctype.hcontains inlined function definitions, and cbmc coverage data can include coverage data for these functions. Since we don't generally care about coverage of system code, and since we don't generally have easy access to source code for system calls, we omit this code from the coverage calculations.Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.