good first issue
Repository-Metriken
- Stars
- (96 Stars)
- PR-Merge-Metriken
- (PR-Metriken ausstehend)
Beschreibung
Currently we don't throw an error if a user defines duplicate constraints, we transpile them into two equivalent constraints. We could do one of the following:
- Generate only one constraint in this case and ignore duplicates.
- Throw an error since this is most likely unintended.
- Throw a warning (in future) but still generate one constraint.