Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
b98da27d
Commit
b98da27d
authored
Jun 20, 2017
by
Alexander Weigl
Browse files
fix tests
parent
42cdb545
Pipeline
#11259
passed with stage
in 2 minutes and 33 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
src/main/resources/edu/kit/formal/proofscriptparser/lint/lint-issues-en.xml
View file @
b98da27d
...
...
@@ -5,7 +5,7 @@
<issue
id=
"1"
severity=
"error"
rulename=
"equal_script_names"
>
The identifier of scripts need to be unique.
{{
markToken
s.0.text}} clashes with {{
markToken
s.0.text}}.
{{
tok
s.0.text}} clashes with {{
tok
s.0.text}}.
</issue>
<issue
id=
"2"
severity=
"error"
rulename=
"negated_match_with_using"
>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment