search

model-checking / cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32 stars 11 forks source link

Extract ctags support as a stand-alone module #119

Closed markrtuttle closed 2 years ago

markrtuttle commented 2 years ago

This pull request extracts ctags support as a standalone module so it can be copied into other projects.

Also modify ctags output to include the symbol kind (eg, "function").

Also advance version to 3.3

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

ronakfof commented 2 years ago

Since you're using coreHTTP to test this, it uses litani submodule for which you need to install PIP dependencies (Jinja2) explicitly. brew install litani installs pip packages only for the brew package in package's isolated env.

ronakfof commented 2 years ago

Since you're using coreHTTP to test this, it uses litani submodule for which you need to install PIP dependencies (Jinja2) explicitly. brew install litani installs pip packages only for the brew package in package's isolated env.

Seems like you are already updating coreHTTP to litani installation. That works too.