Target: /gnu/store/iig3g89xzycb8lcz79vw8d6kfmzbhcn3-dezyne-test-content-2.6.1-2.6.1/test/regression [FAIL]

Date Start time End time Elapsed time Total tests Passed Solved Known Failed
4/15/2020 9:13:31 PM 9:34:53 PM 21m 21s 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/ActionIsIllegal 37.455s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK KNOWN SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED OK OK SKIPPED
regression/BlockedSystem2 37.513s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK OK SKIPPED
regression/BlockedSystem1 37.581s 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.411s 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 40.733s 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.745s 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 50.727s 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 51.285s 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.190s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ComponentIsNonCompliantWithInterface 34.217s 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 34.343s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ComponentIsNonDeterministic 32.548s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/DirectAndDeferredReply 36.154s 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 48.740s 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.699s 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 29.848s 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 31.240s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/EventNotHandled 31.913s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK KNOWN SKIPPED OK OK OK SKIPPED SKIPPED OK OK SKIPPED
regression/GlobalVariableDeclarationFailed 5.505s 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 20.759s 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 33.538s 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.161s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/IChoice 8.028s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IChoice2 6.031s 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 5.912s 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 4.602s 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 4.733s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Guardtwotopon 32.544s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Guardthreetopon 36.622s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/IFunctionCallAssignment 4.784s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/GuardedRequiredIllegal 38.510s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/IFunctionCallNest 5.122s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallLocal 5.604s 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 5.709s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ConsumeMultiple 1m 47.493s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallVariable 8.902s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/IReplyStatementDoesNotMatchReturnType 5.252s OK OK FAILED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ErrorPattern 1m 36.201s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/ISiren 5.991s 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.316s 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.393s 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.198s 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 22.545s 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 33.959s 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_AssignmentStatement 32.101s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IllegalValueInAssignment_ActionExpressionReturn 33.925s 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 37.590s 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 33.091s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Incomplete 37.007s 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 31.373s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN KNOWN SKIPPED OK SKIPPED SKIPPED OK SKIPPED
regression/GarageDoorControlErr 1m 39.527s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/ModelIsIncomplete 6.993s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED FAILED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/InvalidEventTrace 30.713s 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.710s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/InterfaceLivelock 34.522s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/LivelockInModel 32.806s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/NonDet 11.883s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/List 43.461s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/MainProgramCompletelyEmpty 33.702s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK KNOWN SKIPPED OK OK OK SKIPPED SKIPPED OK KNOWN SKIPPED
regression/LivelockAck 45.079s 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 11.452s 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.007s 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 25.728s 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.049s 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 29.775s 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 30.998s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/QueueFullExternal 27.657s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/R 29.732s 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 28.750s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/MultipleProvides 1m 39.831s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/OK_NOK 1m 20.086s 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 33.107s 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 33.389s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/ReplyNotAllowedForModellingEvent 4.203s 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 36.355s 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 37.093s 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 30.950s 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 35.417s 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 5.842s 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 30.344s 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 31.185s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/ReplyTwo 32.572s 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 33.302s 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 33.954s 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 30.560s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlocking2 34.074s 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 34.355s 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 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/SimpleBlockingBinding 34.462s 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 32.962s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlockingDeadlock2 32.384s 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 10.102s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/SimpleBlockingGuard 29.478s 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 30.333s 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 29.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/Simpleint2 29.523s 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 26.522s 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 31.850s 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 32.161s 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 33.049s 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.605s 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.545s 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.496s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/TauEmitMultiple 33.894s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/Topon 30.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/Twotopon 29.945s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/VerifyWithGlobal 27.774s 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 28.517s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED 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.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/addint 44.936s 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 45.555s 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 32.195s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/MultipleOutEventsOnSingleTau 5m 27.554s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/argument2 31.555s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/alarmImportComp 45.665s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/async_cancel 37.527s 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 38.963s 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 44.375s 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 44.194s 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.726s 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 51.868s 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.000s 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 42.968s 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 2m 58.316s 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.129s 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 46.002s 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.869s 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 42.730s 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.706s 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.618s 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.628s 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.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/bindingPortDirection 0.559s 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.573s 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.616s 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 44.930s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED KNOWN SKIPPED
regression/blockingInInterface 0.608s 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.637s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/blockingMultipleProvides 0.625s 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.473s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/calling_context 23.326s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/asyncsync_illegal 36.522s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK OK SKIPPED
regression/asyncasync 1m 8.392s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/componentNeedsProvides 0.575s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/componentNeedsTrigger 0.725s 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 29.040s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/boolnot 30.527s 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 55.043s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/complete 30.480s 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 28.639s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/component_deadlock_fail0 29.586s 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.023s 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 31.099s 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 33.920s 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 0.974s 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.132s 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.523s 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.548s 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.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/component_livelock_fail0 29.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/component_queuefull_fail0 28.403s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/declarativeImperative 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/dzn-glue undefined NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG NOLOG
regression/component_deterministic_fail1 37.712s 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_livelock_fail1 32.471s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/emptyBehaviour 1.508s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/eventNotAction 0.687s 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.737s 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.694s 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 38.713s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/dollars 31.403s OK OK SKIPPED OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/enum_collision 33.315s 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_Axis 39.249s OK OK SOLVED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/explicit_illegal 35.048s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/asyncasync_illegal 2m 45.685s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN SOLVED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/component_illegal_fail0 1m 35.373s 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.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/functionReturnNotExpected 0.651s 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.666s 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 38.451s 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.696s 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 35.919s 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.671s 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 35.106s 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 33.668s 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 35.587s 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 35.262s 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 31.963s 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.581s 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.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/illegalOnlyStatement 0.625s 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 29.752s 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 30.634s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/imperativeDeclarative 0.707s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ifreply 22.269s OK OK FAILED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ififelse 30.494s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED
regression/ifnest 29.925s 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 39.556s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED OK SKIPPED OK OK SKIPPED
regression/importPathErr 0.682s 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 28.271s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/implicit_illegal_requires 29.527s 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.752s 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_on 28.204s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/interfaceMustDefineBehaviour 0.786s 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 36.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/interfaceMustDefineEvent 0.705s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED