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

Merged

tautschnig merged 3 commits intomodel-checking:mainfrom karkhaz:kk-add-var-eval

Mar 22, 2024

+165-2

Commits on Mar 19, 2024

Expand ${var} in benchcomp variant env
karkhaz
committed

Commits on Mar 20, 2024

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

Commits on Mar 22, 2024

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