VerifAPS / stvs

StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9 stars 0 forks source link

assistant for undefined free variable #14

Open wadoon opened 7 years ago

wadoon commented 7 years ago

If free variable is undefined, provide an easy action for declaration.

If STVS annoys about undeclared/undefined free/constraint variable: grafik

A right click (or notification) should enable an easy declaration.