enhance SPIs and integrate into distribution #1097
GitHub Actions / JUnit Test Report
failed
Jan 3, 2025 in 0s
476 tests run, 475 passed, 0 skipped, 1 failed.
Annotations
Check failure on line 1 in _090_assurance_cases_linked_to_runtime
github-actions / JUnit Test Report
_090_assurance_cases_linked_to_runtime
de.slisson.mps.richtext is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756401830]
de.slisson.mps.richtext is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756403238]
com.mbeddr.formal.safety.argument.spi is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756403235]
The reference isReachable(int):boolean (baseMethodDeclaration) is out of search scope [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756405344]
de.itemis.mps.editor.diagram.layout is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756403207]
de.slisson.mps.richtext is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756401877]
com.mbeddr.formal.safety.argument.runtime is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756401845]
com.mbeddr.mpsutil.filepicker is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756401846]
jetbrains.mps.baseLanguage is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756403245]
Can't find devkit: fasten.safety.gsn.runtime [_010_features._090_assurance_cases_linked_to_runtime]
The reference getMessage():String (baseMethodDeclaration) is out of search scope [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972757950274]
com.mbeddr.formal.safety.gsn is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756403150]
de.slisson.mps.richtext is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756403191]
com.mbeddr.formal.safety.gsn is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756401815]
The reference getMessage():String (baseMethodDeclaration) is out of search scope [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972757946518]
jetbrains.mps.lang.text is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972757989224]
de.slisson.mps.richtext is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756401908]
de.itemis.mps.editor.diagram.layout is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756401861]
com.mbeddr.formal.safety.gsn is not imported [http://127.0.0.1:63320/node?ref=r%3A3df64c2c-5d66-42f0-86ae-b6824b802d56%28_010_features._090_assurance_cases_linked_to_runtime%29%2F8167109972756403240]
Loading