[trlc] small fixes

- remove unneeded reqtuple
- update to latest trlc version
- include version in tracing of component requirements

Author: hoe-jo

MODULE.bazel

@@ -248,7 +248,7 @@ use_repo(pip, "manual_analysis_deps")
 bazel_dep(name = "trlc", version = "0.0.0")
 git_override(
     module_name = "trlc",
-    commit = "1872957ae981ae632a0ec6eafb5b8d3aa44bdb86",
+    commit = "8bdcb1fe6d5af97b69a293673815592371bdbb20",
     remote = "https://github.com/bmw-software-engineering/trlc.git",
 )
 

bazel/rules/rules_score/lobster/config/lobster_comp_req.yaml

@@ -22,6 +22,7 @@ conversion-rules:
   - package: ScoreReq
     record-type: CompReq
     namespace: req
+    version-field: version
     description-fields: description
     tags:
       - derived_from

bazel/rules/rules_score/trlc/config/score_requirements_model.rsl

@@ -35,12 +35,6 @@ abstract type Requirement {
     freeze status =         Status.valid
 }
 
-tuple ReqId {
-    item                     Requirement
-    separator                @
-    version                  Integer
-}
-
 abstract type RequirementSafety extends Requirement {
     safety                  Asil
 }
@@ -124,8 +118,8 @@ type AoU extends ControlMeasure {
 // Standards
 ///////////////////////////////
 
-abstract type StdReq extends Requirement {
-}
+// abstract type StdReq extends Requirement {
+// }
 
 
 ///////////////////////////////