2021-12-04 13:42:03 -05:00
|
|
|
#include <stdio.h>
|
2021-12-04 13:54:02 -05:00
|
|
|
#include <stdlib.h>
|
2021-12-04 13:42:03 -05:00
|
|
|
|
2021-12-04 13:54:02 -05:00
|
|
|
void test();
|
2021-12-04 13:42:03 -05:00
|
|
|
|
|
|
|
void restart() {}
|
|
|
|
|
|
|
|
int main(int argc, char **argv)
|
|
|
|
{
|
2021-12-04 13:54:02 -05:00
|
|
|
test();
|
2021-12-04 13:42:03 -05:00
|
|
|
const char *const test_name = argv[0];
|
2021-12-04 13:54:02 -05:00
|
|
|
printf("[ OK ] %s\n", test_name);
|
|
|
|
exit(EXIT_SUCCESS);
|
2021-12-04 13:42:03 -05:00
|
|
|
}
|