Skip to content

Expand ${var} in benchcomp variant env - #3090

Merged
tautschnig merged 3 commits into
model-checking:mainfrom
karkhaz:kk-add-var-eval
Mar 22, 2024
Merged

Expand ${var} in benchcomp variant env#3090
tautschnig merged 3 commits into
model-checking:mainfrom
karkhaz:kk-add-var-eval

Merge branch 'main' into kk-add-var-eval

49bc62e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs