search

DafnyVSCode / Dafny-VSCode

Dafny 2 for Visual Studio Code (Legacy)
https://marketplace.visualstudio.com/items?itemName=correctnessLab.dafny-vscode-legacy
MIT License
18 stars 12 forks source link

Allow customizing the arguments passed to the verify backend #42

Closed ssaavedra closed 5 years ago

ssaavedra commented 5 years ago

The verification backend now can receive arguments passed as an array in the user configuration.

Currently the configuration seems to be loaded only once, and the onDidChangeConfiguration event handler seems not to be appropriately hot-reloading the settings.

Current workaround: reload the extension by reloading the window.

This addresses #41

ssaavedra commented 5 years ago

It seems that sonnar-scanner command is not available on Travis and it fails.

fabianhauser commented 5 years ago

Thanks @ssaavedra!