#!/bin/bash

timeout=35

check() {
  echo checking $1;
  if easycrypt -I . -timeout $timeout $1 2>/dev/null;
  then echo passed: $1;
       echo "";
  else echo failed: $1;
       echo "";
       echo "skipping remaining scripts";
  exit 1;
  fi;
}

check ReadOnly_Plain/Security.ec
check ReadOnly_Hashed/Security.ec

check ReadWrite_Hashed/Case1.ec
check ReadWrite_Hashed/Case2.ec
check ReadWrite_Hashed/Case3_1.ec
check ReadWrite_Hashed/Case3_2.ec

check ReadWrite_Plain/Case1.ec
check ReadWrite_Plain/Case2.ec
check ReadWrite_Plain/Case3.ec



