Skip to content

Bugfixes

Martin Spiessl requested to merge bugfixes into master

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

Merge request reports