void
all_tests(void)
{
general_tests();
single_quoted_tests();
double_quoted_tests();
envvar_tests();
functions_tests();
statements_tests();
}
// --------------------------------------------
int main(int argc, char *argv[]) {
seed= ((int) &seed) + RDTICK() ;
seed |=1 ;
sleep_time = 1;
board_size = 1000;
/*
if(argc!=3) {
printf("syntax: bin \n");
exit(1);
}
sleep_time = atoi(argv[1]);
board_size = atoi(argv[2]);
*/
board_init(board_size);
//TxOnce();
printf("Starting Thread\n");
Thread * Self ;
Self = TxNewThread () ;
printf("Thread created sucessufully\n");
general_tests(Self) ;
overflow_tests(Self) ;
abort_tests(Self) ;
// sterilize_tests(Self) ;
// subtx_tests(Self) ;
objstm_tests(Self);
/*
* mais testes:
* isolamento
* synchronizao
rs/ws overflow within subtx
are we running in consistent states
*
* */
TxEndThread(Self);
printf("END OF PROGRAM. TY for using.\n\n");
return 0;
}
