signature of java_object_factoryt::gen_nondet_struct_init#3743

kroening wants to merge 1 commit intodevelopdiffblue/cbmc:developfrom

gen_nondet_struct_initdiffblue/cbmc:gen_nondet_struct_initCopy head branch name to clipboard