most CBMC tests run from build command line
(robustness tests do not run properly since we cannot get the last
generated transient model)