load_propcases 1168 tools/capdis.c load_propcases(fw.sv, props_path); load_propcases 49 tools/stubs_load.h void load_propcases(stub_values *sv, char *name);