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