Skip to content
GitLab
Explore
Sign in
monticore
EmbeddedMontiArc
languages
MontiMath
Issues
#6
Bug: variable names do not need to be unique
This is a "valid" code, but should be declined:
implementation Math {
Q a = 0;
Q a = 1;
}