search

VerifAPS / stvs

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

Variable types should be checked case insensitive #36

Open mattulbrich opened 7 years ago

mattulbrich commented 7 years ago

Same goes for variable names

csicar commented 7 years ago

use iec1116 parser for type resolution