static void cpu_free(void *cpu)
{
free(((cpu_Cas01_t) cpu)->name);
+ xbt_dict_free(&(((cpu_Cas01_t)cpu)->properties));
free(cpu);
}
{
surf_parse_reset_parser();
surfxml_add_callback(STag_surfxml_host_cb_list, parse_cpu_init);
- surfxml_add_callback(STag_surfxml_prop_cb_list, parse_properties);
- surfxml_add_callback(STag_surfxml_random_cb_list, &init_randomness);
- surfxml_add_callback(ETag_surfxml_random_cb_list, &add_randomness);
}
static void *name_service(const char *name)