This is to merge in a bugfix that affects running proofs using the
run-cbmc-proofs.py script. Previously, running the proofs using
this script would fail, although running the proofs using make report
would work.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.
This is to merge in a bugfix that affects running proofs using the run-cbmc-proofs.py script. Previously, running the proofs using this script would fail, although running the proofs using make report would work.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.