specify initial values for Boolean in struct optiont#499

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:fix_init_bool_values_cmdlinemgudemann/cbmc:fix_init_bool_values_cmdlineCopy head branch name to clipboard