default.sh

loading
details
attribute current value
name default.sh
description no description
owning solver mc2 2021-06-07
contents 
#!/bin/sh
./mc2.exe "$1" --smtcomp -t "$STAREXEC_WALLCLOCK_LIMIT"

back to mc2 2021-06-07