search

goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
5 stars 3 forks source link

Add config option to set location of goblint executable #52

Closed FeldrinH closed 1 year ago

FeldrinH commented 1 year ago

This pull request adds a config option goblintExecutable, which sets the location of the goblint executable used to run analyses.

It defaults to "goblint" ie. by default it expects that there is an executable named goblint on the path. This is done for backwards compatibility reasons.

For use with a goblint executable built from source the correct value should be /<path_to_analyzer_repo>/goblint.