Target: /gnu/store/mjbby5lnm4yx7m51zakmfjz08xb966qs-dezyne-test-content-2.8.2-2.8.2/test/regression [KNOWN]

Date Start time End time Elapsed time Total tests Passed Solved Known Failed
4/15/2020 9:43:04 PM 9:56:33 PM 13m 28s 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.099s 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 31.070s 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 32.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/BlockedSystem3 META 32.148s 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 35.848s 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.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/Alarm_mangle 39.092s 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 4.043s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/CompletenessReplyValueNotSet META 31.460s 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 33.969s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ComponentIsNonCompliantWithInterface 34.819s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/ComponentIsNonDeterministic META 32.756s 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 36.031s 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 34.503s 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 43.202s 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 51.165s 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 3.971s 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.824s 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.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/EventNotHandled 33.317s 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.548s 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.785s 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.531s 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.285s 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 4.967s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Forward 32.707s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/IChoice META 6.835s 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 4.835s 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.407s 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.376s 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.401s 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/IReplyStatementDoesNotMatchReturnType 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/IFunctionCallVariable META 4.430s 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.651s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/GuardedRequiredIllegal 35.166s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/ISensor META 4.716s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ISiren META 4.201s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Guardthreetopon 33.421s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Guardtwotopon 30.697s 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_IReturnStatement META 3.924s 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_IAssignmentStatement 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/IMultipleOutEventsOnSingleTau META 21.141s 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 1.889s 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 31.093s 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_ActionExpressionReturn META 30.305s 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_AssignmentStatement META 30.431s 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 33.378s 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.489s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/IllegalValueInAssignment_ReturnStatement META 29.913s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ModelIsIncomplete META 4.970s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/InterfaceLivelock 31.211s 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.832s 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 30.778s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/NonDet META 7.201s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/NonDet2 META 5.476s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SOLVED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/List 32.215s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/NonDet3 META 6.244s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/LivelockInModel META 31.070s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK 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/LivelockAck 33.593s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/MainProgramCompletelyEmpty META 31.801s 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 23.200s 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.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/MultipleOutEventsOnSingleTau META 55.382s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/QueueFull META 34.000s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/QueueFull2 META 34.479s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/OutEventsOnProvidesPortNotAllowed META 36.482s 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 43.918s 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 40.716s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/QueueFullExternal META 32.963s 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 33.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/ReplyNotAllowedForModellingEvent META 3.292s 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 33.347s 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 34.577s 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.577s 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 35.404s 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 38.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/Reply4 34.954s 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 36.263s 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.711s 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 32.351s 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 30.434s 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 31.250s 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 32.318s 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 31.796s 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 31.941s 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 32.461s 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.006s 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 30.942s 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 31.277s 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 29.904s 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 31.425s 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 31.419s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Simpleint 30.178s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/Simpleint2 30.978s 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.312s 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.729s 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.669s 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.798s 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.647s 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 31.887s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/SynchronousOut 32.049s 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 31.307s 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 43.627s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/Twotopon 30.705s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/VerifyWithGlobal 29.078s 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.747s 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.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/addint 34.382s 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 28.648s 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 28.544s 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_cancel META 29.514s 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_blocking META 32.736s 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_context META 33.096s 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 41.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/alarmImportComp META 42.598s 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 32.848s 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 31.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_context3 META 33.989s 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.021s 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_order META 35.502s 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_order2 META 35.507s 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.661s 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 35.233s 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 35.431s 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_rank META 30.699s OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/bindingCycle META 0.944s 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.824s 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 META 0.881s 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 META 1.018s 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 0.871s 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.844s 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 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/blockingInInterface META 0.751s 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.341s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/blockingInblocking META 0.861s 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.772s 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 32.568s 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 32.617s 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 33.949s 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 34.096s 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 41.499s 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 23.614s 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 29.672s 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 29.735s 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.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/componentNeedsTrigger META 0.609s 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 29.005s 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 31.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/compliance_out_async_nondet 30.559s 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 29.655s 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 28.962s 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 32.866s 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 27.865s 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 28.245s 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 27.565s 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.287s 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.334s 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 0.663s 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 0.808s 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.833s 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_deadlock_fail1 META 28.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/declarativeImperative 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/component_deterministic_fail0 META 29.056s 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_deterministic_fail1 META 28.859s 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 1.721s 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_illegal_fail0 META 30.043s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/eventNotAction META 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/eventNotTrigger META 0.635s 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.660s 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 29.258s 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 30.292s 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 29.785s 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 31.804s 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 31.411s OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/dzn_Axis META 31.020s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/enum_collision 30.013s 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 28.557s 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 28.152s 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 37.362s 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 31.635s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/flush2cb META 30.203s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/foreign META 29.113s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/functionInExpression META 0.743s 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 33.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/external_asynchronous_illegal2 META 47.463s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/functionReturnNotExpected META 0.810s 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 META 0.714s 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.735s 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.638s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/functionEmptyElse META 4.046s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/fork_required_out 32.874s 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 32.414s 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 30.807s 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 29.784s 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 29.527s 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 28.997s 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.827s 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 META 0.746s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED