search

ultimate-pa / hanfor

Hanfor helps analyzing and formalizing requirements.
https://ultimate-pa.github.io/hanfor/
GNU Lesser General Public License v3.0
9 stars 3 forks source link

Variable Retyping missing error message #257

Open lf274 opened 3 months ago

lf274 commented 3 months ago

No error message when attempting to retype a variable to a non-supported type, i.e. when retyping a variable to "float" (which we don't have) instead of "real". There should be an error message like "type not supported"