Skip to content

Merge pull request #1140 from sosy-lab/fix-executable-paths-without-dir #1053

Merge pull request #1140 from sosy-lab/fix-executable-paths-without-dir

Merge pull request #1140 from sosy-lab/fix-executable-paths-without-dir #1053