Notice: If you are member of any public project or group, please make sure that your GitLab username is not the same as the LRZ identifier/Kennung (see https://gitlab.lrz.de/profile/account). Please change your username if necessary. For more information see the section "Public projects / Öffentliche Projekte" at https://doku.lrz.de/display/PUBLIC/GitLab . Thank you!
|...||...||@@ -1667,7 +1667,7 @@ def mandatory_violation(grammar: Grammar,|
|found = text_[:10].replace('\n', '\\n ') + '...'|
|for search, message in err_msgs:|
|rxs = not isinstance(search, str)|
|if rxs and text_.match(search) or (not rxs and text_.startswith(search)):|
|if (rxs and text_.match(search)) or (not rxs and text_.startswith(search)):|
|msg = message.format(expected, found)|