Hi, How can I reproduce this ? I installed cbmc and tried
$ CC=goto-cc ./configure but it failed with this error: "configure: error: cannot run C compiled programs. If you meant to cross compile, use "--host"." Thanks,
signature.asc
Description: OpenPGP digital signature
