/* * Delete model: free all memory */ void delete_model(model_t *model) { delete_value_table(&model->vtbl); delete_int_hmap(&model->map); if (model->alias_map != NULL) { delete_int_hmap(model->alias_map); safe_free(model->alias_map); model->alias_map = NULL; } }
int main(void) { init_type_table(&types, 10); init_value_table(&vtbl, 0, &types); init_fresh_val_maker(&maker, &vtbl); init_base_types(); test_base_types(); delete_fresh_val_maker(&maker); delete_value_table(&vtbl); delete_type_table(&types); return 0; }
int main(void) { init_type_table(&types, 10); init_value_table(&vtbl, 0, &types); init_base_types(); test_base_types(); test_pairs(1000); test_triples(1000); test_unary_functions(1000); test_bin_functions(1000); test_deep_type(); delete_value_table(&vtbl); delete_type_table(&types); return 0; }