#!/bin/bash

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