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