Certora/vscode-certora-prover

UNDEFINED VARIABLE

Closed this issue · 0 comments

fnast9 commented

The Variables section shows UNDEFINED VARIABLES
image