Skip to content

Find Z3 within PATH env#818

Merged
marcoeilers merged 3 commits into
viperproject:masterfrom
manud99:find-z3-within-path-env
Mar 14, 2024
Merged

Find Z3 within PATH env#818
marcoeilers merged 3 commits into
viperproject:masterfrom
manud99:find-z3-within-path-env

Use `getOrElse` instead of nested `match`.

58e7006
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs
⚡