Ejemplo n.º 1
0
Archivo: test1.c Proyecto: Mric26/M2-S1
int main() {
	stats();
	print_part1();
	set_log(1);
	print_part1();
	set_log(0);
	stats();
	return 0;
}
Ejemplo n.º 2
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 );
}