Exemplo n.º 1
0
void main(int argc, char *argv[]) {
    int counter, times;
    if(argc != 2) {
        printf("Get parameter first please!\n");
        return ;
    }
    times = atoi(argv[1]);
    if(times <=0) {
        printf("Get param error\n");
        return;
    }

    init_random();
    init_input();
    init_cells();

    //init_kernel_platform();
    //gettimeofday(&t_start, NULL);
    for(counter=0; counter<times; counter++) {
        run();
    }
    //gettimeofday(&t_end, NULL);
    //close_kernel_platform();

    //printf("exec digital exec success\n");
    //cost_time = (t_end.tv_sec*1000000l+t_end.tv_usec) - (t_start.tv_sec*1000000l+t_start.tv_usec);
    //printf("run Cost time: %lds+%ldus\n", cost_time/1000000, cost_time%1000000);

    close_cells();
    close_random();
    printf("%d times exec over\n", times);
}
Exemplo n.º 2
0
static void end_const(void)
	{
	drop(QI);
	drop(QT);
	drop(QF);
	drop(QY);
	drop(Qvoid);
	drop(Qcons);
	drop(Qnull);
	drop(Qeval);
	drop(Qlater);
	drop(Qput);
	drop(Qnl);
	drop(Qfput);
	drop(Qfnl);
	drop(Qtuple);
	drop(Qparse_file);
	drop(Qevaluate);
	close_random();
	}