This pull request adds the ability to run two versions of cbmc-viewer on the output of cbmc and compare the results. This should be useful for local development, but should also be the start of continuous integration testing on github.
This pull request is a sequence of clean-up and housekeeping commits that are just reorganizing the test directory structure, followed by two interesting commits that
adds a script difference.py that installs two versions of cbmc-viewer into python virtual environments and runs them on a set of proofs generated by the starter kit and compare the results, and
adds a simple demo
This review will be most easy if you read the commits one-by-one.
This pull request adds the ability to run two versions of cbmc-viewer on the output of cbmc and compare the results. This should be useful for local development, but should also be the start of continuous integration testing on github.
This pull request is a sequence of clean-up and housekeeping commits that are just reorganizing the test directory structure, followed by two interesting commits that
This review will be most easy if you read the commits one-by-one.