default.sh

#!/bin/sh

./lazybv2int --lazy --full-refinement --s-checker --s-checker-filter --toplevel-prop $1