#!/bin/sh

bin=$(dirname $(readlink -f "$0"))
. "$bin/spinsafe" --mode ltl "$@"