#!/bin/sh # -p option is important for the incremental track! # the version for incremental track where it will communicate with trace executor should contain just "./opensmt -p" ./opensmt -p $1