This pull request updates the cbmc-viewer regression tests after updates to the coreHTTP repository. In particular, litani is no longer a submodule and the versions of cbmc and litani have been updated to the latests.
This pull request also changes the cbmc-viewer ctags symbol table regression test to compare symbol tables generated by two versions specified by two commits, instead of comparing to "golden" symbol tables stored with the test. The issue, among other things, is that the coreHTTP repository changes, making the "golden" symbol tables hard to maintain.
This pull request updates the cbmc-viewer regression tests after updates to the coreHTTP repository. In particular, litani is no longer a submodule and the versions of cbmc and litani have been updated to the latests.
This pull request also changes the cbmc-viewer ctags symbol table regression test to compare symbol tables generated by two versions specified by two commits, instead of comparing to "golden" symbol tables stored with the test. The issue, among other things, is that the coreHTTP repository changes, making the "golden" symbol tables hard to maintain.