#!/bin/bash if [ "$#" -eq 0 ]; then # incremental track ./z3 -smt2 -in else ./z3 -smt2 "$1" 2>"$2"/error.log fi