// Useful for tests.

#ifndef __PBC_TEST_H__
#define __PBC_TEST_H__

/*@manual test
Initializes pairing from file specified as first argument, or from standard
input if there is no first argument.
*/
static inline void pbc_demo_pairing_init(pairing_t pairing, int argc, char **argv) {
  char s[16384];
  FILE *fp = stdin;

  if (argc > 1) {
    fp = fopen(argv[1], "r");
    if (!fp) pbc_die("error opening %s", argv[1]);
  }
  size_t count = fread(s, 1, 16384, fp);
  if (!count) pbc_die("input error");
  fclose(fp);

  if (pairing_init_set_buf(pairing, s, count)) pbc_die("pairing init failed");
}

/*@manual test
Returns seconds elapsed since the first call to this function.
Returns 0 the first time.
*/
double pbc_get_time(void);

/*@manual test
Macro: if `condition` evaluates to 0 then print an error.
*/
#define EXPECT(condition) \
  if (condition); else pbc_err_count++, fprintf(stderr, "\n*** FAIL ***\n  %s:%d: %s\n\n", __FILE__, __LINE__, #condition)

/*@manual test
Total number of failed EXPECT checks.
*/
int pbc_err_count;

#endif //__PBC_TEST_H__