#include <sys/time.h>
#include "seal_api.h"

using namespace std;
using namespace seal;

int main(int argc, char **argv)
{
  timeval t0, t1;
  unsigned long dt = 0;
  // gen keys § path to sk
  string pathSk = argv[1];

	   gettimeofday(&t0, NULL);
           generate_keys(8192, 4294967296,pathSk, true);
           gettimeofday(&t1, NULL);
           dt = 1000000 * (t1.tv_sec - t0.tv_sec) + (t1.tv_usec - t0.tv_usec);
          cout << "[INFO] keys generation time in seconds: " << ((float)dt)/1000000 << endl;

  

  return 0;
}
