Skip to content

Fix benchmark definition for LIV

Martin Spiessl requested to merge fix-liv-benchdef into main

the data model is handled by the tool info module.

benchexec tool info module PR is here: https://github.com/sosy-lab/benchexec/pull/966
(if there is CI that checks for this then it will fail unless the MR is merged)

Merge request reports