incremental

details

attribute	current value
name	incremental
description	no description
owning solver	smtinterpol-fixed-2.5-1148-gf2d8e6b0

contents

#!/bin/sh

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

back to smtinterpol-fixed-2.5-1148-gf2d8e6b0