int main(int argc, char **argv) { program_name = argv[0]; if (argc != 1) { fprintf(stderr, "usage: %s\n", program_name); exit(1); } if (ppl_initialize() < 0) fatal("cannot initialize the Parma Polyhedra Library"); if (ppl_set_error_handler(error_handler) < 0) fatal("cannot install the custom error handler"); timed_compute_open_hypercube_generators(200, 20); ppl_finalize(); return 0; }
static void my_exit(int status) { (void) ppl_finalize(); exit(status); }
int main() { ppl_initialize(); return ppl_finalize(); }