cbmc-starter-kit icon indicating copy to clipboard operation
cbmc-starter-kit copied to clipboard

Add missing documentation on environment variables.

Open jimgrundy opened this issue 2 years ago • 0 comments

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.

jimgrundy avatar Nov 07 '22 23:11 jimgrundy