This pull request adds an example showing how to used cbmc-viewer, and makes the installation instructions easier to read. It is easier to read the formatted markdown with "view file" than it is to read the diff.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
This pull request adds an example showing how to used cbmc-viewer, and makes the installation instructions easier to read. It is easier to read the formatted markdown with "view file" than it is to read the diff.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.