test/monniaux/picosat-965/main.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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;
}