#include "daa-test-tpm.h"

int test1();
int test2();
int test3();

int main(int argc, char **argv) {
  if(0 != test1()) {
    printf("test1 failed\n");
    return 0;
  } else {
    printf("test1 succeeded\n");
}

int test1() {
  const char *pub_key_filename = "pub_key.txt";
  const char *handle_filename = "handle.txt";

  return 0;
}