Renaming Variables can alter other variables

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

Renaming Variables can alter other variables #255

Open tkolzer opened 6 months ago

tkolzer commented 6 months ago

The renaming of variables is currently implementend by using the str.replace methode. The following Problem can occure: If you have the variables var_1 and var_10 and want to rename var_1 to var_a then the variable var_10 will be renamed to var_a0.