Mark Tuttle

Perhaps as starting points, but the code under test determines what aspects of these functions we stub out.

We could add a command line option that would let the user specify the root instead of searching for the root.

Let's add command line options --git-root and --src-root flags to specify them from command line. The sequence of defaults is --git-root if specified else search for git root else None....

What is addone? Is this a Makefile macro that you would like to define? A reasonable place to put this definition would be in the Makefile-project-defines.

Let us update all of the README files to point to the new [training material](https://model-checking.github.io/cbmc-training/).

I don't know what the model of the user to use here is. Someone just trying out CBMC without any source code at all is probably going to want to...

Could also include expected coverage.

A preliminary implementation now appears in the summary directory. This needs to be cleaned up and merged into viewer iteself.

The property-missing branch of the frok https://github.com/markrtuttle/aws-viewer-for-cbmc contains a preliminary implementation.

The listing by goto-instrument has been cleaned up. There is a branch with preliminary work on this, I'll find it.