PR to merge into the next version

build.gradle: fixed mpsVersion to 2022.3 #6

Sign in to view logs

Triggered via push May 17, 2024 11:48

danielratiu

maintenance/MPS-2022.3_merge_2022.2_dan

Status Success

Total duration 10s

Artifacts –

PR-into-next-version.yml

on: push

Annotations

2 errors

_010_argument_model_query_tests_Test.test__010_argument_over_hazards: code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.safety.argument.modelquery/classes_gen/test/mbeddr/formal/safety/argument/modelquery/_010_smoke_tests/_010_argument_model_query_tests_Test.class#L53

java.lang.AssertionError: expected:<not all hazards have been addressed - [Unintended steering]> but was:<null>

_010_argument_model_query_tests_Test.test__010_argument_over_hazards: code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.safety.argument.modelquery/classes_gen/test/mbeddr/formal/safety/argument/modelquery/_010_smoke_tests/_010_argument_model_query_tests_Test.class#L53

java.lang.AssertionError: expected:<not all hazards have been addressed - [Unintended steering]> but was:<null>