Skip to content

Files

Latest commit

 Cannot retrieve latest commit at this time.

History

History
14 lines (11 loc) · 569 Bytes

README.md

File metadata and controls

14 lines (11 loc) · 569 Bytes

This regression test makes it easy to compare the output of two cbmc-viewer commits on coreHTTP.

  • Run make to compare the current branch with the master branch.

  • Run make COMMIT1=B1 COMMIT2=B2 to compare branch B1 with branch B2. B1 and B2 can be any commits in the repository.

In more detail:

  • make clone will clone coreHTTP and break the proofs.
  • make build will run the fast coreHTTP proofs and build the reports with the installed cbmc-viewer.
  • make compare will rebuild the reports with the two cbmc-viewer commits and compare the results.