Skip to content

build: fixed dependencies to mpsqa in distribution #866

build: fixed dependencies to mpsqa in distribution

build: fixed dependencies to mpsqa in distribution #866

GitHub Actions / JUnit Test Report failed Jul 4, 2024 in 0s

254 tests run, 0 skipped, 1 failed.

Annotations

Check failure on line 1 in _010_uber_atg_safety_case_modularized_visualization

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

_010_uber_atg_safety_case_modularized_visualization

Can't find language: com.mbeddr.formal.safety.argument.visualisation [_500_real_world_examples._010_uber_atg_safety_case_modularized_visualization]
 Can't find imported model: com.mbeddr.formal.safety.argument.visualisation.util [_500_real_world_examples._010_uber_atg_safety_case_modularized_visualization]
 Unresolved reference: GoalsWithSolutionsTreeMapBuilder [http://127.0.0.1:63320/node?ref=r%3A37b647fa-3f5b-4d8d-bb0d-08ea654daf23%28_500_real_world_examples._010_uber_atg_safety_case_modularized_visualization%29%2F1736445178717480069]
 Language com.mbeddr.formal.safety.argument.visualisation is not in repository [http://127.0.0.1:63320/node?ref=r%3A37b647fa-3f5b-4d8d-bb0d-08ea654daf23%28_500_real_world_examples._010_uber_atg_safety_case_modularized_visualization%29%2F3035466530360261653]
 Error: Abstract concept instance detected. Use one of sub-concepts instead. Concept: GoalStructureTreeMapConfig [http://127.0.0.1:63320/node?ref=r%3A37b647fa-3f5b-4d8d-bb0d-08ea654daf23%28_500_real_world_examples._010_uber_atg_safety_case_modularized_visualization%29%2F3035466530360261653]
 The concept 'com.mbeddr.formal.safety.argument.visualisation.structure.GoalStructureTreeMapConfig' cannot be root [http://127.0.0.1:63320/node?ref=r%3A37b647fa-3f5b-4d8d-bb0d-08ea654daf23%28_500_real_world_examples._010_uber_atg_safety_case_modularized_visualization%29%2F3035466530360261653]
 com.mbeddr.formal.safety.argument.visualisation is not imported [http://127.0.0.1:63320/node?ref=r%3A37b647fa-3f5b-4d8d-bb0d-08ea654daf23%28_500_real_world_examples._010_uber_atg_safety_case_modularized_visualization%29%2F3035466530360261653]
 Concept 'GoalStructureTreeMapConfig' was not found in the language 'com.mbeddr.formal.safety.argument.visualisation' [http://127.0.0.1:63320/node?ref=r%3A37b647fa-3f5b-4d8d-bb0d-08ea654daf23%28_500_real_world_examples._010_uber_atg_safety_case_modularized_visualization%29%2F3035466530360261653]