adds tracing for expressions

bmw-software-engineering · Oct 23, 2023 · 9096ff1 · 9096ff1
1 parent 6648472
commit 9096ff1
Show file tree

Hide file tree

Showing 14 changed files with 491 additions and 484 deletions.
diff --git a/language-reference-manual/lrm.trlc b/language-reference-manual/lrm.trlc
@@ -1070,6 +1070,7 @@ section "Expressions" {
               is recommended that a linter warns whenever a
               unary minus is encountered that has a
               non-trivial `term` or `factor` as its operand.'''
+    untraced_reason = "Non-normative recommendation"
   }
 
   Example Expression_Examples {

diff --git a/tests-system/expressions/foo.rsl b/tests-system/expressions/foo.rsl
diff --git a/tests-system/expressions/output b/tests-system/expressions/output
diff --git a/tests-system/expressions/output.brief b/tests-system/expressions/output.brief
diff --git a/tests-system/expressions/output.json b/tests-system/expressions/output.json