cbmc-starter-kit
cbmc-starter-kit copied to clipboard
Add missing documentation on environment variables.
Important aspects of the behavior of the starter kit are controlled by environment variables. There should be a section in the documentation alerting users to this, giving them an idea of what is controlled, and directing them to the place in the makefile where they can see the specifics.