incremental

loading
details
attribute current value
name incremental
description no description
owning solver smtinterpol-2.5-1265-gb41dde70
contents
#!/bin/sh

./smtlib2_trace_executor --continue-after-unknown ./smtcomp_run_incremental "$1"

back to smtinterpol-2.5-1265-gb41dde70