int main() { stats(); print_part1(); set_log(1); print_part1(); set_log(0); stats(); return 0; }
void plugin_summary( void *gcc_data, void *user_data ) //t_myproof* { (void)gcc_data; t_myproof *myproof = user_data; printf("** Summary **\n"); mylist_all( myproof->functions, print_functions ); mylist_all( myproof->instrumente_functions, print_instrumente_functions ); print_part1( myproof ); print_cfg( myproof ); }