Target: /gnu/store/dcq932s04k71qlg7wv05r5p7bdcg9nzz-dezyne-test-content-2.5.3-2.5.3/test/regression [FAIL]

Date Start time End time Elapsed time Total tests Passed Solved Known Failed
4/15/2020 8:44:21 PM 9:06:38 PM 22m 17s 260

ITEM time convert parse verify traces code build execute run triangle table view
c++ c++03 c++-msvc11 javascript c++ c++03 c++-msvc11 javascript c++ c++03 c++-msvc11 javascript c++ c++03 c++-msvc11 javascript
regression/BlockedSystem1 37.934s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK OK SKIPPED
regression/ActionIsIllegal 38.866s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SOLVED KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/BlockedSystem2 38.897s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK OK SKIPPED
regression/BlockedSystem3 39.313s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK OK SKIPPED
regression/BlockedSystem4 41.396s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK OK SKIPPED
regression/Alarm 46.274s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/AlarmBlock 49.864s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Alarm_mangle 50.976s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/DeadlockInModel 5.322s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ComponentIsNonDeterministic 31.776s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ComponentIsNonCompliantWithInterface 34.445s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/CompletenessReplyValueNotSet 35.059s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/DirectAndDeferredReply 38.234s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Dataparam 50.339s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK OK SKIPPED
regression/FunctionActualParameterDeclarationFailed 4.631s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Extern 31.581s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/EventNotAllowedByPort 34.864s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SOLVED SOLVED SKIPPED SOLVED SOLVED OK OK SKIPPED OK OK SKIPPED
regression/EventNotHandled 33.641s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SOLVED KNOWN SKIPPED SOLVED OK OK SKIPPED SKIPPED OK OK SKIPPED
regression/GlobalVariableDeclarationFailed 5.789s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Camera 1m 22.909s OK OK SOLVED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/Forward 37.008s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/IBehaviourEmpty 7.153s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/IChoice2 6.984s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IChoice 9.388s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCall 5.660s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IConsole 7.172s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallArgs 5.222s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallAssignment 5.341s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Guardthreetopon 41.275s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Guardtwotopon 36.803s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/GuardedRequiredIllegal 42.789s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/ConsumeMultiple 1m 51.509s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ErrorPattern 1m 38.772s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/IFunctionCallLocal 6.767s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallNest 6.421s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallReturnLocal 7.018s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IReplyStatementDoesNotMatchReturnType 6.180s OK OK FAILED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallVariable 10.907s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/ISiren 6.642s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ISensor 7.716s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IllegalValueInAssignment_IAssignmentStatement 5.977s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IllegalValueInAssignment_IReturnStatement 5.928s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IMultipleOutEventsOnSingleTau 25.881s OK OK OK OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SOLVED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/If 37.391s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/IllegalValueInAssignment_ActionExpressionReturn 35.773s OK OK OK OK OK OK SKIPPED OK SOLVED SOLVED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IllegalValueInAssignment_AssignmentStatement 35.763s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IgnoreNotification 41.436s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/IllegalValueInAssignment_ReturnStatement 35.411s OK OK OK OK OK OK SKIPPED OK SOLVED SOLVED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Incomplete 36.858s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Injected 33.743s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN KNOWN SKIPPED OK SKIPPED SKIPPED OK SKIPPED
regression/ModelIsIncomplete 6.273s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED FAILED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/InterfaceLivelock 34.603s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/InvalidEventTrace 32.231s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/NameClash 0.749s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/LivelockInModel 31.880s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/List 40.639s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SOLVED SKIPPED
regression/GarageDoorControlErr 2m 16.165s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/NonDet 9.269s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/MainProgramCompletelyEmpty 35.963s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SOLVED KNOWN SKIPPED SOLVED OK OK SKIPPED SKIPPED OK KNOWN SKIPPED
regression/LivelockAck 44.534s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/NonDet3 10.064s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/NonDet4 9.706s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/NonDet2 24.224s OK OK OK OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SOLVED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/NonDetHiddenTransition 22.624s OK OK FAILED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/QueueFull 34.558s OK OK FAILED OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/QueueFullExternal 30.779s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/QueueFull2 36.996s OK OK FAILED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/R 33.772s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Recursion 31.526s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/OK_NOK 1m 23.673s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/MultipleProvides 1m 40.092s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/RecursiveImport 37.738s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/Reply 39.027s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SOLVED SKIPPED
regression/ReplyNotAllowedForModellingEvent 4.319s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Reply2 39.812s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Reply4 38.993s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Reply3 42.576s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Reply7 34.321s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/ReplyStatementDoesNotMatchReturnType 6.500s OK OK FAILED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ReplyNotAllowedOnRequiresPort 33.229s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/ReplyNotAllowedPortNotBlocked 32.386s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/OutEventsOnProvidesPortNotAllowed 2m 34.827s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ReplyTwo 34.194s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/RequiredOptional 35.075s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK FAILED FAILED SKIPPED FAILED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlocking 34.750s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/SimpleBlocking2 34.358s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/SimpleBlocking3 35.784s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/SimpleBlocking4 35.888s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/SimpleBlockingBinding 35.412s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/SimpleBlockingDeadlock 34.089s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/QTriggerModeling 3m 13.859s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/SimpleBlockingDeadlock2 33.446s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlockingGuard 31.443s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlockingTwoReply 32.685s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Simpleint 33.505s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Simpleint2 32.695s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/SyncCBLivelockExternal 31.111s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SynchronousLivelock 36.320s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/SynchronousLivelockExternal 37.048s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/SynchronousOut 37.503s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/actionInExpression 0.643s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/actionNotInOnEvent 0.692s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/actionValueDiscarded 0.664s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Topon 34.432s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/TauEmitMultiple 40.430s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Twotopon 33.650s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/SpuriousVoidReplyStatement 1m 32.559s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/VerifyWithGlobal 31.370s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/assignmentExpressionNotInEventInstance 0.685s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/assignmentNotInOnEvent 0.793s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/MultipleOutEventsOnSingleTau 5m 28.810s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SOLVED SKIPPED
regression/addint 49.692s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/alarmComp 52.195s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/alarmImportComp 51.530s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/argument 36.298s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/argument2 37.412s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/async_cancel 43.319s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/async_context 47.255s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/async_hello 41.145s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/async_prio 45.641s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/async_prio2 43.470s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/async_order 52.988s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/async_order2 52.991s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/async_prio3 43.635s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/StartDevices 3m 2.805s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_rank 40.114s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/async_ranking 44.681s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/async_simple 41.310s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/async_synccb 41.356s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/bindingCycle 0.760s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/bindingDoubleWildcard 0.604s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/bindingExternals 0.758s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/bindingPortBoundTwice 0.630s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/bindingPortDirection 0.677s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/bindingPortNotBound 0.564s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/bindingRequiredWildcard 0.552s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/blockingInInterface 0.603s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/blockingInblocking 0.560s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_synccb2 45.413s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/blockingMultipleProvides 0.587s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_silent 54.153s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/asyncasync 1m 9.782s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/asyncsync_illegal 39.136s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK OK SKIPPED
regression/calling_context 31.462s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/componentNeedsProvides 0.731s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/boolnot 33.332s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/componentNeedsTrigger 0.726s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/combinedon 32.772s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/asyncsync 57.792s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/componentInDollars 30.310s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/complete 33.169s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/component_deadlock_fail0 30.319s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/component_compliance_fail0 31.535s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/component_deadlock_fail1 33.574s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/component_deterministic_fail0 36.986s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/coverageDuplicate 1.047s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/coverageMissing 1.410s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/coverageUnexpected 0.601s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/dataInoutInOutEvent 0.672s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/dataOutInOutEvent 0.532s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/component_livelock_fail0 30.597s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/declarativeImperative 0.574s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/component_livelock_fail1 33.197s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/component_deterministic_fail1 39.343s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/component_queuefull_fail0 34.416s OK OK FAILED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/emptyBehaviour 1.593s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/data_shadow_port 36.065s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/eventNotAction 0.632s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/eventNotTrigger 0.561s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/eventNotValuedAction 0.613s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/dollars 28.014s OK OK SKIPPED OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/asyncasync_illegal 2m 46.402s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN SOLVED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/dzn_Axis 38.612s OK OK SOLVED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK SOLVED OK OK SKIPPED OK OK SKIPPED
regression/enum_collision 33.212s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/dzn-glue undefined OK SKIPPED SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/explicit_illegal 37.402s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/component_illegal_fail0 1m 34.277s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/functionInExpression 0.698s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/functionReturnNotExpected 0.785s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/functionReturnValue 0.834s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/expressions 43.549s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/functionTailRecursion 0.877s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/externaltypes 40.997s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/functionValueDiscarded 0.678s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/flush2cb 37.636s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK FAILED FAILED SKIPPED FAILED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/foreign 37.220s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN KNOWN SKIPPED OK SKIPPED SKIPPED OK SKIPPED
regression/function 37.075s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/function2 37.845s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/functionSubintReturn 35.319s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/illegalInFunction 0.702s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/illegalInIf 0.726s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/illegalOnlyStatement 0.739s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/guardifnest 32.260s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/guardif 33.584s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SOLVED SKIPPED
regression/imperativeDeclarative 0.789s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ififelse 34.549s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/ifreply 24.947s OK OK FAILED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ifnest 34.170s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/h 44.904s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK SOLVED SKIPPED
regression/importPathErr 0.773s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/implicit_illegal 30.951s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK SOLVED OK OK SKIPPED OK KNOWN SKIPPED
regression/implicit_illegal_requires 31.830s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK KNOWN SKIPPED
regression/injectionOutEvent 0.727s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/imperative 38.907s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/interfaceMustDefineBehaviour 0.639s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/interfaceMustDefineEvent 0.595s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/implicit_illegal_requires2 33.307s OK OK OK OK OK OK SKIPPED OK