Certora/vscode-certora-prover

[Results] Add navigate to code logic to UI and add action buttons in tree

Closed this issue · 1 comments

shashkovdanil commented
[Results] Add navigate to code logic to UI and add action buttons in tree
shashkovdanil commented

link with #12