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);
}
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();
}