#!/bin/bash

set -x # print what we do
temp=$(mktemp -d)/$(basename "$1")
tamarin-prover "$1" -m=proverif > "$temp.pv"; proverif "$temp.pv"
