run_errors

loading
details
attribute current value
name run_errors
description no description
owning solver yices-ismt-0701
contents
#!/bin/sh
./ismt $1 -t:1200

back to yices-ismt-0701