int main(int argc, char *argv[]) { TEST_START(); TEST(test_piglit()); TEST_END(); return 0; }
int main(int argc, char *argv[]) { test_piglit(); }