Bugfixes
This updates metaval.sh with some bugfixes for the complex interaction between benchexec, MetaVal, and the wrapped verifiers.
This updates metaval.sh with some bugfixes for the complex interaction between benchexec, MetaVal, and the wrapped verifiers.