diff options
Diffstat (limited to 'test/monniaux/picosat-965/main.c')
-rw-r--r-- | test/monniaux/picosat-965/main.c | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/monniaux/picosat-965/main.c b/test/monniaux/picosat-965/main.c new file mode 100644 index 00000000..13d7b0e5 --- /dev/null +++ b/test/monniaux/picosat-965/main.c @@ -0,0 +1,25 @@ +#define VERIMAG_MEASUREMENTS +#ifdef VERIMAG_MEASUREMENTS +#include "../clock.h" +#endif + +int picosat_main (int, char **); + +int +main (int argc, char **argv) +{ + +#ifdef VERIMAG_MEASUREMENTS + clock_prepare(); + clock_start(); +#endif + + int ret= picosat_main (argc, argv); + +#ifdef VERIMAG_MEASUREMENTS + clock_stop(); + print_total_clock(); +#endif + + return ret; +} |