Target: /gnu/store/5k80xhi59j3r594vaz2qyzpc572yfmgn-dezyne-test-content-2.8.1-2.8.1/test/regression [KNOWN]

Date Start time End time Elapsed time Total tests Passed Solved Known Failed
4/15/2020 6:39:11 PM 6:53:29 PM 14m 18s 275

ITEM META 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 META 31.932s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/BlockedSystem1 META 32.508s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/BlockedSystem3 META 32.637s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/BlockedSystem2 META 33.222s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/AlarmDeterministicFail META 35.187s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Alarm 36.568s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/AlarmBlock META 37.915s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Alarm_mangle 39.408s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/DeadlockInModel META 3.406s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ComponentIsNonCompliantWithInterface 32.513s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/CompletenessReplyValueNotSet META 33.050s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/BlockedSystem4 META 34.791s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ComponentIsNonDeterministic META 32.691s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Dataparam META 35.941s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/DirectAndDeferredReply META 33.679s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/ConsumeMultiple META 42.888s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/Camera META 49.616s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/FunctionActualParameterDeclarationFailed META 4.094s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/GlobalVariableDeclarationFailed META 3.895s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/EventNotAllowedByPort 32.448s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/EventNotHandled 32.350s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/EventNotHandled2 32.692s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/IBehaviourEmpty META 3.819s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Extern 31.183s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Forward 33.526s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/ErrorPattern 44.623s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/IChoice2 META 5.470s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IChoice META 7.144s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IFunctionCallArgs META 4.707s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IFunctionCallAssignment META 4.692s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IConsole META 5.297s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IFunctionCallLocal META 4.796s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IFunctionCallNest META 4.408s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IFunctionCallVariable META 4.677s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IFunctionCallReturnLocal META 4.908s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IReplyStatementDoesNotMatchReturnType META 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/GuardedRequiredIllegal 35.473s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/ISiren META 4.413s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ISensor META 5.159s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Guardtwotopon 33.568s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Guardthreetopon 34.722s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/IllegalValueInAssignment_IAssignmentStatement META 4.033s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IllegalValueInAssignment_IReturnStatement META 3.915s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IMultipleOutEventsOnSingleTau META 23.717s OK OK OK OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/GarageDoorControlErr META 1m 3.641s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/If 30.961s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/IllegalValueInAssignment_AssignmentStatement META 29.541s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IllegalValueInAssignment_ActionExpressionReturn META 30.420s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IgnoreNotification 34.288s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Injected META 26.381s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ModelIsIncomplete META 4.707s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IllegalValueInAssignment_ReturnStatement META 32.083s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/InterfaceLivelock 32.253s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/NameClash META 0.777s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/InvalidEventTrace META 29.869s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/NonDet2 META 5.343s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SOLVED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/NonDet META 6.830s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/List 34.649s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/LivelockInModel META 30.467s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/NonDet3 META 6.481s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/NonDet4 META 6.574s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/MainProgramCompletelyEmpty META 31.979s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/LivelockAck 35.001s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/NonDetHiddenTransition META 21.873s OK OK OK OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SOLVED SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/MultipleProvides 43.081s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/QueueFull META 30.608s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/OutEventsOnProvidesPortNotAllowed META 33.646s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/MultipleOutEventsOnSingleTau META 54.268s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/QueueFull2 META 31.999s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/QTriggerModeling META 39.381s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/OK_NOK 41.790s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/QueueFullExternal META 29.893s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/R 30.365s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/ReplyNotAllowedForModellingEvent META 3.572s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Recursion META 30.353s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/Reply 31.725s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/ReplyStatementDoesNotMatchReturnType META 0.583s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Reply2 34.028s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/RecursiveImport META 36.865s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Reply4 32.602s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Reply3 33.682s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Reply7 32.366s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/ReplyNotAllowedOnRequiresPort 31.925s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/ReplyNotAllowedPortNotBlocked 32.320s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/ReplyTwo META 32.614s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/RequiredOptional META 33.762s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/SimpleBlocking META 33.489s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/SimpleBlocking2 META 34.282s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/SimpleBlocking3 META 34.703s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/SimpleBlocking4 META 32.984s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/SimpleBlockingBinding META 32.881s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/SimpleBlockingDeadlock META 33.812s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/SimpleBlockingDeadlock2 META 32.641s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/SimpleBlockingGuard META 31.695s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/SimpleBlockingTwoReply META 32.746s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Simpleint2 32.280s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Simpleint 33.484s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/SpuriousVoidReplyStatement META 35.789s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/actionInExpression META 0.943s 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 META 0.681s 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 META 0.847s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/SynchronousLivelock 33.944s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/SynchronousLivelockExternal 32.990s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Topon 30.246s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/StartDevices META 44.643s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/SynchronousOut 33.695s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/assignmentExpressionNotInEventInstance META 0.851s 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 META 0.812s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/VerifyWithGlobal 30.028s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Twotopon 30.952s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/addint 36.550s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/argument2 30.946s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/argument 33.353s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/async_blocking META 33.853s OK OK OK OK OK OK SKIPPED SOLVED OK OK SKIPPED SOLVED OK OK SKIPPED KNOWN OK OK OK SKIPPED SOLVED SKIPPED SKIPPED
regression/async_cancel META 34.016s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_context META 36.101s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/alarmComp META 44.656s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/alarmImportComp META 46.493s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/async_context2 META 36.570s OK OK OK OK OK OK SKIPPED SOLVED OK OK SKIPPED SOLVED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_hello META 32.951s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_context3 META 35.862s OK OK OK OK OK OK SKIPPED SOLVED OK OK SKIPPED SOLVED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_nondet META 35.569s OK OK OK OK OK OK SKIPPED SOLVED OK OK SKIPPED SOLVED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_order2 META 36.386s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_order META 37.009s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_multiple_provides META 42.311s OK OK OK OK OK OK SKIPPED SOLVED OK OK SKIPPED SOLVED KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED SOLVED SKIPPED SKIPPED
regression/async_prio META 34.895s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_prio2 META 36.932s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/bindingCycle META 0.926s 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 META 0.862s 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_rank META 32.467s OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/bindingExternals META 0.745s 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_prio3 META 35.241s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/bindingPortBoundTwice META 0.856s 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 META 1.001s 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 META 0.916s 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 META 1.248s 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 META 1.095s 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 META 1.023s 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 META 0.886s 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_ranking META 36.260s OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_simple META 37.569s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_synccb META 39.664s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_synccb2 META 39.740s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/async_silent META 47.167s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/calling_context META 27.159s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/boolnot 34.424s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/combinedon 35.169s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/componentNeedsProvides META 0.801s 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 META 1.336s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/complete 33.818s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/compliance_out_sync 35.021s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/compliance_out_async_inevitable 40.007s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/compliance_out_async_nondet 36.128s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/compliance_provides_int 33.877s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/compliance_reply_bool 38.031s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/componentInDollars META 31.085s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/component_compliance_fail0 META 33.231s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/component_deadlock_fail0 META 33.179s OK OK OK SKIPPED OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/coverageDuplicate META 1.293s 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 META 1.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/coverageUnexpected META 1.010s 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 META 1.053s 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 META 0.736s 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_deterministic_fail0 META 31.278s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/component_deadlock_fail1 META 32.439s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/declarativeImperative META 0.928s 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_deterministic_fail1 META 32.513s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/component_illegal_fail0 META 30.771s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/emptyBehaviour META 2.068s 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 META 0.864s 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 META 1.511s 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 META 0.636s 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 META 31.545s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/component_livelock_fail1 META 32.060s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/component_queuefull_fail0 META 33.397s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/data_shadow_port META 34.752s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/dollars META 34.984s OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/enum_collision 34.671s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/dzn_Axis META 36.664s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/explicit_illegal META 31.127s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/expressions 37.666s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/external_asynchronous_sync_illegal META 33.511s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/external_asynchronous_illegal2 META 53.301s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/external_asynchronous_sync 47.174s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/functionInExpression META 1.091s 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 META 34.621s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/functionEmptyElse META 4.449s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/externaltypes 36.980s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/functionReturnNotExpected META 0.864s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/foreign META 35.764s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/functionReturnValue META 0.835s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/functionTailRecursion META 0.846s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/functionValueDiscarded META 0.936s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/fork_required_out 38.554s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/function 33.791s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/function2 35.814s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/functionNesting 33.764s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/functionSubintReturn META 32.924s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/function_cont 33.553s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/illegalInFunction META 0.767s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/guardif 34.140s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK