TEST_NAME=$1

./valida verify ./$TEST_NAME  ./$TEST_NAME.proof