tar xf lab.tar
This will create a directory lab containing an executable file cbmc and the example C files
used by the CBMC tutorial.
./cbmc file1.c --show-properties --bounds-check --pointer-check
to see a full range of options accepted by CBMC.
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: email@example.com
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh