Symbol: dict_sets
sbin/veriexecctl/veriexecctl.c
273
dict_sets(dp, "file", argv[1]);
sbin/veriexecctl/veriexecctl.c
285
dict_sets(qp, "file", argv[1]);
sbin/veriexecctl/veriexecctl_parse.y
119
dict_sets(load_params, "file", $1);
sbin/veriexecctl/veriexecctl_parse.y
124
dict_sets(load_params, "fp-type", $1);