Closed markrtuttle closed 2 years ago
This pull request renames the Makefile target pip -> build, and it adds a simple example of using cbmc-viewer to the top-level readme file (along with some language cleanups).
This pull request renames the Makefile target pip -> build, and it adds a simple example of using cbmc-viewer to the top-level readme file (along with some language cleanups).