Silently skip loop-head steps in error traces: CBMC has added new kinds of steps to error traces, and the loop-head step is not interesting to us, so we silently skip over loop-head steps.
Correctly strip warning prefixes from warnings produced by CBMC: CBMC used to preface all warnings with the string "**** WARNING:" but CBMC now also uses "warning:". This patch is more careful about what prefix it removes from warning messages.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Silently skip loop-head steps in error traces: CBMC has added new kinds of steps to error traces, and the loop-head step is not interesting to us, so we silently skip over loop-head steps.
Correctly strip warning prefixes from warnings produced by CBMC: CBMC used to preface all warnings with the string "**** WARNING:" but CBMC now also uses "warning:". This patch is more careful about what prefix it removes from warning messages.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.