int main(void) { uint32_t i; init(); check(); random_tests(1000000); reset_stbl(&sym_table); for (i=0; i<NSYMBOLS; i++) { scope[i] = 0; } check(); printf("\n*** AFTER RESET ***\n"); random_tests(1000000); delete_stbl(&sym_table); return 0; }
void reset_sort_table(sort_table_t *sort_table){ sort_table->num_sorts = 0; reset_stbl(&(sort_table->sort_name_index)); }