Certora/vscode-certora-prover

UNDEFINED VARIABLE

Closed this issue · 0 comments

The Variables section shows UNDEFINED VARIABLES
image