Closed ronakfof closed 1 year ago
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.
I suspect the ctags tests are failing because there was a code change to http that is yielding a line number change in symbol definitions.
Closing in favor of https://github.com/model-checking/cbmc-viewer/pull/140
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.