Target: /gnu/store/4kxvndycwvjpc9bdndig2yg5cdc3arwr-dezyne-test-content-2.4.1-2.4.1/test/regression [FAIL]

Date Start time End time Elapsed time Total tests Passed Solved Known Failed
4/15/2020 6:59:54 PM 7:39:49 PM 39m 54s 259

ITEM time convert parse verify traces code build execute run triangle table view
c++ c++03 c++-msvc11 c cs javascript java python c++ c++03 c++-msvc11 c cs javascript java python c++ c++03 c++-msvc11 c cs javascript java python c++ c++03 c++-msvc11 c cs javascript java python
regression/BlockedSystem1 56.199s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/BlockedSystem2 57.097s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/BlockedSystem4 1m 1.585s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/BlockedSystem3 1m 1.750s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/AlarmBlock 1m 13.114s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK SKIPPED
regression/Alarm 1m 16.779s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED FAILED OK OK OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/Alarm_mangle 1m 22.150s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED FAILED OK OK OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/DeadlockInModel 9.162s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/CompletenessReplyValueNotSet 1m 0.136s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ComponentIsNonCompliantWithInterface 57.621s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/ComponentIsNonDeterministic 59.183s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ActionIsIllegal 2m 4.938s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SOLVED KNOWN SOLVED KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/DirectAndDeferredReply 1m 0.410s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK SKIPPED
regression/Dataparam 1m 22.188s OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK SKIPPED OK OK OK OK OK OK OK SKIPPED FAILED KNOWN SKIPPED OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/FunctionActualParameterDeclarationFailed 9.190s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Camera 1m 52.530s OK OK SOLVED OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN OK FAILED OK KNOWN KNOWN KNOWN SKIPPED SKIPPED KNOWN SKIPPED KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/GlobalVariableDeclarationFailed 7.915s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/EventNotAllowedByPort 1m 3.145s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SOLVED SOLVED SOLVED SOLVED SOLVED SOLVED KNOWN KNOWN SOLVED OK OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/Extern 1m 0.415s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/Forward 1m 3.916s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED FAILED OK OK OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/IBehaviourEmpty 6.896s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IChoice 12.875s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/EventNotHandled 1m 58.098s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SOLVED KNOWN SOLVED KNOWN KNOWN SOLVED KNOWN KNOWN OK OK SKIPPED OK SKIPPED SKIPPED OK SKIPPED SKIPPED OK SKIPPED
regression/IChoice2 8.956s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Guardtwotopon 1m 0.947s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/GuardedRequiredIllegal 1m 9.844s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK OK SKIPPED OK SKIPPED
regression/IConsole 9.433s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Guardthreetopon 1m 6.287s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/IFunctionCall 7.949s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallArgs 8.269s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallAssignment 8.406s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallNest 8.276s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallLocal 8.589s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallReturnLocal 8.448s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IFunctionCallVariable 8.557s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/GarageDoorControlErr 1m 37.128s OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IReplyStatementDoesNotMatchReturnType 8.636s OK OK FAILED OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ISensor 9.592s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ISiren 9.053s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IllegalValueInAssignment_IAssignmentStatement 10.103s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ConsumeMultiple 3m 38.069s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IllegalValueInAssignment_IReturnStatement 10.539s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IMultipleOutEventsOnSingleTau 37.780s OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SOLVED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ErrorPattern 3m 9.634s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED FAILED OK OK OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/If 1m 4.749s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/IllegalValueInAssignment_ActionExpressionReturn 1m 2.819s OK OK OK OK OK OK OK OK OK OK OK OK SOLVED SOLVED OK KNOWN OK OK FAILED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IllegalValueInAssignment_AssignmentStatement 1m 2.658s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/IgnoreNotification 1m 15.300s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK OK SKIPPED OK SKIPPED
regression/IllegalValueInAssignment_ReturnStatement 1m 3.645s OK OK OK OK OK OK OK OK OK OK OK OK SOLVED SOLVED OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Injected 1m 5.152s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN FAILED FAILED KNOWN SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Incomplete 1m 11.416s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/ModelIsIncomplete 12.408s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED FAILED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/InterfaceLivelock 1m 7.522s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/NameClash 1.082s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/InvalidEventTrace 58.993s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/NonDet 14.702s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/LivelockInModel 1m 0.028s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/List 1m 12.580s OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK SKIPPED OK OK OK OK OK OK OK SKIPPED OK OK OK OK OK OK OK OK SKIPPED OK KNOWN SKIPPED
regression/NonDet3 12.667s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/LivelockAck 1m 19.719s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED FAILED OK OK OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/NonDet4 12.322s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/NonDet2 35.542s OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SOLVED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/MainProgramCompletelyEmpty 1m 20.043s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SOLVED KNOWN SOLVED KNOWN KNOWN SOLVED SOLVED SOLVED OK OK SKIPPED OK SKIPPED SKIPPED OK OK OK OK SKIPPED
regression/NonDetHiddenTransition 33.667s OK OK FAILED OK OK OK OK OK OK OK OK OK KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/QueueFull 57.866s OK OK FAILED OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/QueueFullExternal 58.452s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/OK_NOK 2m 17.270s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/R 1m 5.194s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK SKIPPED OK OK OK OK OK OK OK OK SKIPPED OK OK SKIPPED
regression/MultipleProvides 3m 0.146s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED FAILED OK OK OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/Recursion 1m 0.522s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/RecursiveImport 1m 2.468s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/Reply 1m 3.371s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK KNOWN SKIPPED
regression/Reply2 1m 7.533s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/QueueFull2 3m 5.193s OK OK FAILED OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED FAILED FAILED FAILED FAILED FAILED FAILED FAILED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Reply3 1m 9.649s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/ReplyNotAllowedForModellingEvent 7.709s OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ReplyStatementDoesNotMatchReturnType 9.657s OK OK FAILED OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Reply7 1m 0.059s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/Reply4 1m 9.751s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/ReplyNotAllowedOnRequiresPort 58.623s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK OK SKIPPED OK SKIPPED
regression/ReplyNotAllowedPortNotBlocked 1m 1.872s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK OK SKIPPED OK SKIPPED
regression/OutEventsOnProvidesPortNotAllowed 5m 2.350s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/ReplyTwo 1m 29.094s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlocking 58.260s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlocking2 56.567s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK SKIPPED
regression/RequiredOptional 1m 6.287s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED FAILED FAILED OK FAILED FAILED FAILED FAILED OK SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlocking3 59.994s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK SKIPPED
regression/QTriggerModeling 5m 56.830s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SOLVED SKIPPED
regression/SimpleBlocking4 58.505s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlockingBinding 57.811s OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED OK OK OK FAILED OK OK SKIPPED SKIPPED OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK OK OK OK SKIPPED OK OK SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlockingDeadlock 1m 0.707s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK FAILED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlockingGuard 58.855s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK FAILED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlockingDeadlock2 1m 0.079s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK FAILED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SimpleBlockingTwoReply 59.651s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK FAILED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/Simpleint 1m 0.503s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/Simpleint2 1m 1.145s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/SyncCBLivelockExternal 57.847s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/SynchronousLivelock 1m 5.279s OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK SKIPPED OK OK OK OK OK OK OK SKIPPED OK OK OK OK OK OK OK OK SKIPPED OK OK SKIPPED
regression/SynchronousLivelockExternal 1m 5.617s OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK SKIPPED OK OK OK OK OK OK OK SKIPPED OK OK OK OK OK OK OK OK SKIPPED OK OK SKIPPED
regression/actionInExpression 0.840s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/actionNotInOnEvent 0.993s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/actionValueDiscarded 0.842s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/SynchronousOut 1m 12.127s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK OK SKIPPED OK SKIPPED
regression/TauEmitMultiple 1m 15.828s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK OK SKIPPED OK SKIPPED
regression/Topon 1m 3.909s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/Twotopon 1m 1.563s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/SpuriousVoidReplyStatement 3m 0.101s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/assignmentExpressionNotInEventInstance 0.821s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/addint 1m 29.778s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED OK OK OK OK OK OK OK SKIPPED FAILED OK OK OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/assignmentNotInOnEvent 0.932s OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED
regression/argument 1m 2.917s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/argument2 1m 3.644s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK SKIPPED
regression/alarmComp 1m 26.750s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED FAILED OK OK OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/alarmImportComp 1m 26.855s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK FAILED FAILED OK OK OK OK OK OK OK SKIPPED SKIPPED OK SKIPPED
regression/MultipleOutEventsOnSingleTau 10m 49.734s OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK OK KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN KNOWN SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED KNOWN SKIPPED
regression/async_cancel 50.384s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_context 54.308s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_hello 52.425s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_order 58.604s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SOLVED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_order2 59.408s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SOLVED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_prio 58.432s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_prio2 58.294s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_prio3 56.513s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_rank 52.782s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_ranking 52.550s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED SKIPPED OK SKIPPED
regression/async_simple 54.235s OK OK OK OK OK OK OK SKIPPED SKIPPED SKIPPED SKIPPED