cbmc input.c > input.log