com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754363] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7021513436411963103] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7021513436411963100] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7021513436411964928] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754340] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754369] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F5861696777038426332] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7542362404087570673] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2641465259243069637] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754345] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7021513436411963106] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754350] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F4396901941372409612] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F5861696777038427937] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F4396901941372405374] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2641465259243075250] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F5226663767998823477] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754364] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7021513436411963096] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754358]

com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564466413] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564465884] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564477331] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564479385] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564476086] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564451119] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564479284] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564479806] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564477541] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564438397] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564450751] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564438387] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564438392]

com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080874] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080873] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081194] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038442884] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081200] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038441329] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038441980] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081202] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080862] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080861] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038439875] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080858] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080857] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080863] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038440513] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080876] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080875] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081196] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081191] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080872] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080871] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080877] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081198] com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038443613]

❌ Tests reported 3 failures

Cannot invoke "com.intellij.openapi.application.ex.ApplicationEx.runIntendedWriteActionOnCurrentThread(java.lang.Runnable)" because the return value of "com.intellij.openapi.application.ex.ApplicationManagerEx.getApplicationEx()" is null

Cannot invoke "com.intellij.openapi.application.ex.ApplicationEx.runIntendedWriteActionOnCurrentThread(java.lang.Runnable)" because the return value of "com.intellij.openapi.application.ex.ApplicationManagerEx.getApplicationEx()" is null

Cannot invoke "com.intellij.openapi.application.ex.ApplicationEx.runIntendedWriteActionOnCurrentThread(java.lang.Runnable)" because the return value of "com.intellij.openapi.application.ex.ApplicationManagerEx.getApplicationEx()" is null

Cannot invoke "com.intellij.openapi.application.ex.ApplicationEx.runIntendedWriteActionOnCurrentThread(java.lang.Runnable)" because the return value of "com.intellij.openapi.application.ex.ApplicationManagerEx.getApplicationEx()" is null

Cannot invoke "com.intellij.openapi.application.ex.ApplicationEx.runIntendedWriteActionOnCurrentThread(java.lang.Runnable)" because the return value of "com.intellij.openapi.application.ex.ApplicationManagerEx.getApplicationEx()" is null

Cannot invoke "com.intellij.openapi.application.ex.ApplicationEx.runIntendedWriteActionOnCurrentThread(java.lang.Runnable)" because the return value of "com.intellij.openapi.application.ex.ApplicationManagerEx.getApplicationEx()" is null