Add documentation for new configuration options

goblint / GobPie

Goblint IDE integration via MagpieBridge

MIT License

5 stars 3 forks source link

Closed FeldrinH closed 1 year ago

FeldrinH commented 1 year ago

This pull request adds documentation for new configuration options goblintExecutable and incrementalAnalysis.