Skip to content

modelquery: explicitly pass in the SRepository parameter #845

modelquery: explicitly pass in the SRepository parameter

modelquery: explicitly pass in the SRepository parameter #845

GitHub Actions / JUnit Test Report failed May 17, 2024 in 0s

253 tests run, 0 skipped, 1 failed.

Annotations

Check failure on line 55 in 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

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

_010_argument_model_query_tests_Test.test__010_argument_over_hazards

java.lang.AssertionError: expected:<not all hazards have been addressed - [Unintended steering]> but was:<null>
Raw output
java.lang.RuntimeException: java.lang.AssertionError: expected:<not all hazards have been addressed - [Unintended steering]> but was:<null>
	at com.intellij.openapi.application.impl.LaterInvocator.invokeAndWait(LaterInvocator.java:120)
	at com.intellij.openapi.application.impl.ApplicationImpl.invokeAndWait(ApplicationImpl.java:446)
	at jetbrains.mps.ide.ThreadUtils.runInUIThreadAndWait(ThreadUtils.java:38)
	at jetbrains.mps.lang.test.runtime.BaseTestBody.runWithinCommand(BaseTestBody.java:68)
	at test.mbeddr.formal.safety.argument.modelquery._010_smoke_tests._010_argument_model_query_tests_Test$TestBody.test__010_argument_over_hazards(_010_argument_model_query_tests_Test.java:47)
	at test.mbeddr.formal.safety.argument.modelquery._010_smoke_tests._010_argument_model_query_tests_Test.test__010_argument_over_hazards(_010_argument_model_query_tests_Test.java:37)
	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
	at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at jetbrains.mps.lang.test.runtime.BaseTransformationTest$AlternativeBefore$1.evaluate(BaseTransformationTest.java:129)
	at jetbrains.mps.lang.test.runtime.TestParametersCache$1.evaluate(TestParametersCache.java:58)
	at jetbrains.mps.testbench.junit.suites.BaseMpsSuite.run(BaseMpsSuite.java:29)
Caused by: java.lang.AssertionError: expected:<not all hazards have been addressed - [Unintended steering]> but was:<null>
	at test.mbeddr.formal.safety.argument.modelquery._010_smoke_tests._010_argument_model_query_tests_Test$TestBody.lambda$test__010_argument_over_hazards$0(_010_argument_model_query_tests_Test.java:55)
	at jetbrains.mps.lang.test.runtime.BaseTestBody.lambda$runWithinCommand$2(BaseTestBody.java:72)
	at jetbrains.mps.smodel.WorkbenchModelAccess$UndoContextSetup.run(WorkbenchModelAccess.java:367)
	at jetbrains.mps.smodel.ActionDispatcher.dispatch(ActionDispatcher.java:98)
	at jetbrains.mps.smodel.ActionDispatcher.lambda$wrap$0(ActionDispatcher.java:135)
	at jetbrains.mps.smodel.ActionDispatcher.dispatch(ActionDispatcher.java:98)
	at jetbrains.mps.smodel.ActionDispatcher.lambda$wrap$0(ActionDispatcher.java:135)
	at jetbrains.mps.smodel.LockRunnable.run(LockRunnable.java:60)
	at com.intellij.openapi.application.impl.ApplicationImpl.runWriteAction(ApplicationImpl.java:980)
	at jetbrains.mps.smodel.TryRunPlatformWriteHelper.runWrite(TryRunPlatformWriteHelper.java:103)
	at jetbrains.mps.smodel.TryRunPlatformWriteHelper.lambda$withPlatformWrite$1(TryRunPlatformWriteHelper.java:96)
	at com.intellij.openapi.command.impl.CoreCommandProcessor.executeCommand(CoreCommandProcessor.java:219)
	at com.intellij.openapi.command.impl.CoreCommandProcessor.executeCommand(CoreCommandProcessor.java:174)
	at com.intellij.openapi.command.impl.CoreCommandProcessor.executeCommand(CoreCommandProcessor.java:164)
	at jetbrains.mps.smodel.WorkbenchModelAccess.executeCommand(WorkbenchModelAccess.java:302)
	at jetbrains.mps.smodel.ProjectModelAccess2.executeCommand(ProjectModelAccess2.java:35)
	at jetbrains.mps.lang.test.runtime.BaseTestBody.lambda$runWithinCommand$3(BaseTestBody.java:70)
	at jetbrains.mps.ide.ThreadUtils$LogExceptionsRunnable.run(ThreadUtils.java:80)
	at com.intellij.openapi.application.TransactionGuardImpl.runWithWritingAllowed(TransactionGuardImpl.java:209)
	at com.intellij.openapi.application.TransactionGuardImpl.access$100(TransactionGuardImpl.java:21)
	at com.intellij.openapi.application.TransactionGuardImpl$1.run(TransactionGuardImpl.java:191)
	at com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:838)
	at com.intellij.openapi.application.impl.ApplicationImpl$3.run(ApplicationImpl.java:454)
	at com.intellij.openapi.application.impl.LaterInvocator$1.run(LaterInvocator.java:97)
	at com.intellij.openapi.application.impl.FlushQueue.doRun(FlushQueue.java:74)
	at com.intellij.openapi.application.impl.FlushQueue.runNextEvent(FlushQueue.java:114)
	at com.intellij.openapi.application.impl.FlushQueue.flushNow(FlushQueue.java:36)
	at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:318)
	at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:779)
	at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:730)
	at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:724)
	at java.base/java.security.AccessController.doPrivileged(AccessController.java:399)
	at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)
	at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:749)
	at com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:909)
	at com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:756)
	at com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$5(IdeEventQueue.java:437)
	at com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:787)
	at com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$6(IdeEventQueue.java:436)
	at com.intellij.openapi.application.TransactionGuardImpl.performActivity(TransactionGuardImpl.java:105)
	at com.intellij.ide.IdeEventQueue.performActivity(IdeEventQueue.java:615)
	at com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$7(IdeEventQueue.java:434)
	at com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:838)
	at com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:480)
	at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:207)
	at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:128)
	at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:117)
	at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:113)
	at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:105)
	at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:92)