Target: /gnu/store/d23hh24g99m6f7i6k9g9z72sslk6mvks-dezyne-test-content-2.8.0-2.8.0/test/regression [KNOWN]

Date Start time End time Elapsed time Total tests Passed Solved Known Failed
4/15/2020 6:17:07 PM 6:30:52 PM 13m 44s 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/BlockedSystem1 META 33.552s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ActionIsIllegal META 33.869s 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.781s 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 33.881s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Alarm 36.691s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/AlarmDeterministicFail META 36.675s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/AlarmBlock META 38.476s 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.327s 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.277s 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.013s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/ComponentIsNonCompliantWithInterface 31.398s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/BlockedSystem4 META 31.830s 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 29.876s 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 34.789s 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 32.684s 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 40.047s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/FunctionActualParameterDeclarationFailed META 4.177s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/Camera META 49.981s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/GlobalVariableDeclarationFailed META 3.906s 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.393s 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.293s 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.433s 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.922s 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 32.605s 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 34.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/ErrorPattern 45.140s 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.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/IChoice2 META 4.864s 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.294s 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.324s 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.232s 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.565s 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.434s 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.630s 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.250s 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.733s 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.556s 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.330s 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.076s 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 31.855s 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.451s 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 3.587s 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.909s 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.608s 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 2.784s 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.842s 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 30.013s 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.729s 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 32.308s 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 25.824s 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 30.715s 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.494s 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.214s 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.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/InvalidEventTrace META 30.743s 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 6.357s 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.136s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SOLVED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/NonDet3 META 6.844s 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 33.177s 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.065s 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.832s 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.663s 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.266s 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 22.301s 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.232s 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.254s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/MultipleOutEventsOnSingleTau META 54.337s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/OutEventsOnProvidesPortNotAllowed META 34.335s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN OK SKIPPED OK SKIPPED OK SKIPPED SKIPPED
regression/QueueFull2 META 30.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/OK_NOK 40.445s 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 38.485s 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 29.478s 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.989s 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.153s 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 29.178s 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 30.572s 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.855s 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 32.165s 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 34.743s 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 31.091s 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 32.349s 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 28.983s 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 29.608s 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.203s 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 29.581s 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 30.361s 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 32.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/SimpleBlocking2 META 30.882s 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.635s 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 31.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/SimpleBlockingBinding META 31.689s 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.212s 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.012s 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.172s 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 30.777s 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 31.277s 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 29.977s 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 33.710s 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.715s 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.934s 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.783s 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 35.231s 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 33.741s 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 34.380s 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 32.077s 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 31.080s 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.950s 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 32.716s 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.822s 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.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/addint 36.475s 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 30.812s 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 32.084s 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 33.257s 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 43.904s 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 36.884s 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 38.651s OK OK OK OK OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED
regression/alarmImportComp META 45.873s 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 34.601s 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.113s 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.476s 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 34.321s 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.397s 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 41.561s 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.242s 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 36.269s 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 33.518s 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.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/bindingDoubleWildcard META 0.819s 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.770s 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 0.750s 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.695s 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.945s 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.887s 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 30.843s OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/blockingInInterface META 0.811s 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 0.765s 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.905s 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.602s 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_ranking META 31.082s 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_synccb META 33.419s 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_simple META 33.947s 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.550s 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.718s 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.663s 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 30.488s 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 30.336s 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.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/componentNeedsTrigger META 0.716s 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 28.756s 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.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/compliance_out_async_inevitable 32.269s 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 32.153s 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 29.209s 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 33.594s 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 28.198s 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_deadlock_fail0 META 28.440s OK OK OK SKIPPED OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/component_compliance_fail0 META 30.130s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/coverageDuplicate META 1.691s 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.732s 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.768s 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.764s 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.757s 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 32.972s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/component_deterministic_fail0 META 31.724s 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 31.783s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/declarativeImperative META 0.819s 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 31.952s 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.939s 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.815s 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.665s 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.784s 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 34.514s 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 34.046s 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.607s 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.311s 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 32.141s 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 35.449s 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 32.477s 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 34.390s 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 40.043s 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.069s 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 50.036s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK KNOWN KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/functionEmptyElse META 3.758s OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/functionInExpression META 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/functionReturnNotExpected META 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/foreign META 31.129s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/flush2cb META 32.907s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED KNOWN OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/functionReturnValue META 0.716s 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.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/functionValueDiscarded 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/externaltypes 35.839s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/fork_required_out 33.972s 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.998s 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 31.522s 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 28.691s 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.086s 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 30.221s OK OK OK OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK SKIPPED OK OK OK OK SKIPPED OK SKIPPED SKIPPED
regression/guardif 29.116s 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.968s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED