Skip to content

initialize Boolean values in c_typecheck_baset#495

Merged
kroening merged 1 commit intodiffblue:masterfrom
mgudemann:fix_init_bool_values_c_typecheck
Feb 3, 2017

Commits

Commits on Feb 3, 2017