Skip to content

specify initial values for Boolean in struct optiont#499

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

Commits

Commits on Feb 3, 2017