diff --git a/Examples/Simulink_type_example.mdl b/Examples/Simulink_type_example.mdl index 43708f04a167c813a82c25a18f5d7d2ca3e51b61..7a960f23087d502f1a3a976702ee1864bb013a71 100644 --- a/Examples/Simulink_type_example.mdl +++ b/Examples/Simulink_type_example.mdl @@ -6,7 +6,7 @@ Model { NumRootInports 0 NumRootOutports 0 ParameterArgumentNames "" - ComputedModelVersion "1.4" + ComputedModelVersion "1.5" NumModelReferences 0 NumTestPointedSignals 0 } @@ -25,9 +25,9 @@ Model { ModifiedByFormat "%" LastModifiedBy "colin" ModifiedDateFormat "%" - LastModifiedDate "Mon Jan 24 12:44:42 2011" + LastModifiedDate "Mon Jan 24 14:04:45 2011" RTWModifiedTimeStamp 217773585 - ModelVersionFormat "1.%" + ModelVersionFormat "1.%" ConfigurationManager "none" SampleTimeColors off SampleTimeAnnotations off @@ -705,7 +705,7 @@ Model { MaskHideContents off MaskDescription "Table Block" MaskDisplay "port_label('input',1,'x');port_label('output',1,'output');text(0.5, 0.9, 'Tabular Expression'" - ", 'horizontalAlignment', 'center')\ncolor('red')\ntext(0.5, 0.1, 'Not Checked', 'horizontalAlignment', 'center')" + ", 'horizontalAlignment', 'center')\ncolor('green')\ntext(0.5, 0.1, 'Checked', 'horizontalAlignment', 'center')" MaskIconFrame on MaskIconOpaque on MaskIconRotate "none" @@ -895,128 +895,127 @@ MatData { DataRecord { Tag DataTag0 Data " %)30 . > 8 ( $0 ! $ ! !-0T]3 0 $ $1A=&$. 2 8 ( #0 " - " % \" 8 ! 0 & & -T\" 0 $ ! !0 X # )P !@ @ ) 4" - " ( 0 ) G ! ( \"0)P %)30 . \\\"8 8 ( @ % \" $ ! 0 " - " % 0 !0 $ % 34-/4P . J\"8 8 ( $0 ! $ ! !-0T]3 0 T !&:6QE5W)A<'" - "!E'0 8V5L;%]I;F1E> !P87)E;G1?9W)I9 !C96QL'1?> !C;VYD:71I;VY?=&5X=%]Y &" - "-O;F1I=&EO;E]T97AT7V]F9G-E= !G'0 4D-E;&P 9G5N8W" - "1I;VY?;F%M90!F=6YC=&EO;E]I;G!U=', HD . 2 8 ( #0 % " - " \" 8 ! 0 & & -T\" 0 $ ' P X X !@ @ & 4 ( " - " 0 $ ! D ( \\#\\. . 8 ( !@ % \" $ ! 0 ) " - " \" / _#@ #@ & \" 8 !0 @ ! 0 $ \"0 @ # 5:B0 X X " - " !@ @ & 4 ( 0 $ ! D ( \\#\\. 2 8 ( !@ % " - " \" $ # 0 ) & .MQ<^2AH.X_?),+1 %G[S^ [B'Y91/M/PX !( !@ @ - 4 ( " - " !@ $ ! 8 8 W0( ! 0 8 ! #@ #@ & \" 8 !0 @ ! " - " 0 $ \"0 @ #0 6JB0 X P !@ @ $ 4 ( 0 $ ! ! 0 Q " - "#@ $@ & \" 8 !0 @ ! P $ \"0 !@ #P/P / _ \\#\\. " - " 2 8 ( #0 % \" 8 ! 0 & & -T\" 0 $ $ 0 X !( " - " !@ @ - 4 ( !@ $ ! 8 8 W0( ! 0 @ ! #@ #@ & " - "\" 8 !0 @ ! 0 $ \"0 @ 0 MJB0 X !@ !@ @ ! 4 ( " - " 0 $ ! X P !@ @ $ 4 ( 0 $ ! ! 0 P #@ $@ & \"" - " 8 !0 @ ! P $ \"0 !@ #P/P / _ \\#\\. 4 8 ( " - "#0 % \" < ! 0 & ' -T\" 0 ( # \"0 0 #@ $@ & " - " \" T !0 @ & 0 $ !@ !@ #= @ $ ! !0 , . 2 8 ( " - "#0 % \" 8 ! 0 & & -T\" 0 $ ' P X !( !@ @ - " - " 4 ( !@ $ ! 8 8 W0( ! 0 ( \" #@ $@ & \" T " - "!0 @ & 0 $ !@ !@ #= @ $ ! !0 , . 2 8 ( #0 % \"" - " 8 ! 0 & & -T\" 0 $ ' P X ! !@ @ $ 4 ( 0" - " D ! ! ) ='EP95]T97-T X P !@ @ $ 4 ( 0 $ ! " - " ! 0!X #@ % ! & \" ( !0 @ ! 0 $ !0 $ < ! ' '-E= !I;G!U=" - "', 8V]U;G0 ')A;F=E #@ #@ & \" 8 !0 @ ! 0 $ \"0 @ #P/" - "PX P !@ @ & 4 ( ! D #@ #@ & \" 8 !0 " - "@ ! 0 $ \"0 @ $\"/0 X X !@ @ & 4 ( 0 $ ! " - "D ( 64 . . 8 ( !@ % \" $ ! 0 ) \" / _#@ #" - "@ & \" 8 !0 @ ! 0 $ \"0 @ #P/PX X !@ @ & " - "4 ( 0 $ ! D ( \\#\\. . 8 ( !@ % \" $ ! 0 " - " ) \" #@ % . & \" $ !0 @ & 0 $ #@ #@ & \" " - " ( !0 @ ! $ !0 $ $ ! X !H!0 !@ @ \" 4 ( 0 " - " $ ! 4 ! 6 0 & ! !S=6)G'1?=VED=&@ &-O;F1I=&EO;E]T97AT7VAE:6=H= !C;VYD:71I;VY?=&5X=%]X 8V]N9&ET:6]N7W1E>'1?>0 &-O;F1I=" - "&EO;E]T97AT7V]F9G-E= !G'0 8V5L;%]I;F1E> !P87)E;G1?9W)I9 !C96QL'1?> !C;VYD:71I;VY?=&5X=%]Y &-" + "O;F1I=&EO;E]T97AT7V]F9G-E= !G'0 4D-E;&P 9G5N8W1" + "I;VY?;F%M90!F=6YC=&EO;E]I;G!U=', \"P $ ? # $ " + "@ #0 $ A #@ $ B #P $ C !@ @ ! & !8 ! &0 !< ! &@ !@ ! " + " &P !P ! ' !T ! '0 ) ! $ / !0 $ 0 !@ $ 1 !P $ 2 " + " \"P $ 3 # $ 4 #0 $ 5 #@ $ 6 #P $ 7 !0 , ! * \"$ ! " + " *0 \"( ! *@ \", ! *P \\ ! + " + " #@ . . 8 ( !@ % \" $ ! " + " 0 ) \" . !8*) #@ # & \" 0 !0 @ $ $ . " + " . 8 ( !@ % \" $ ! 0 ) \" / _#@ $@ & \" T " + " !0 @ & 0 $ !@ !@ #= @ $ ! ! $ . . 8 ( !@ % " + "\" $ ! 0 ) \" / _#@ #@ & \" 8 !0 @ ! 0 $ " + " \"0 @ #P/PX !( !@ @ - 4 ( !@ $ ! 8 8 W0( ! " + " 0 ( \" #@ #@ & \" 8 !0 @ ! 0 $ \"0 @ #P 6*B0 X X " + " !@ @ & 4 ( 0 $ ! D ( \\ %HHD . 2 8 ( #0 % " + "\" 8 ! 0 & & -T\" 0 $ % P X X !@ @ & 4 ( " + " 0 $ ! D ( \\#\\. 2 8 ( #0 % \" 8 ! 0 & " + " & -T\" 0 $ $ 0 X X !@ @ & 4 ( 0 $ ! D ( " + " \\ %4HD . . 8 ( ! % \" $ % 0 0 !0 '@^-\"XU #@ #@ & " + " \" 8 !0 @ ! 0 $ \"0 @ #P/PX X !@ @ & 4 ( " + " 0 $ ! D ( \\ %8HD . : 8 ( 0 % \" $ ! 0 . " + " . 8 ( ! % \" $ % 0 0 !0 '@\\-\"XU #@ #@ & \" 8 " + " !0 @ ! 0 $ \"0 @ 0 X !( !@ @ - 4 ( !@ $ ! " + " 8 8 W0( ! 0 < # #@ #@ & \" 8 !0 @ ! 0 $ " + " \"0 @ #P/PX X !@ @ & 4 ( 0 $ ! D ( \\#\\. " + " . 8 ( !@ % \" $ ! 0 ) \" / !6J) #@ #@ & \" 8 " + " !0 @ ! 0 $ \"0 @ #P/PX !( !@ @ & 4 ( 0 , ! " + " D 8 7^OW]5M0[3\\DW$T;4\"GO/TIM>'[W..\\_#@ % & \" T !0 @ ' 0 $ " + " !@ !P #= @ $ \" !@ @ ! X X !@ @ & 4 ( 0 $ ! " + " D ( $ . . 8 ( !@ % \" $ ! 0 ) \" " + " ! #@ $@ & \" T !0 @ & 0 $ !@ !@ #= @ $ ! @ ( . " + " . 8 ( !@ % \" $ ! 0 ) \" - !7*) #@ #@ & \" 8 " + " !0 @ ! 0 $ \"0 @ #P 5ZB0 X !( !@ @ - 4 ( !@ $ ! " + " 8 8 W0( ! 0 < # #@ #@ & \" 8 !0 @ ! 0 $ " + " \"0 @ #P/PX X !@ @ & 4 ( 0 $ ! D ( \\#\\. " + " . 8 ( !@ % \" $ ! 0 ) \" . !5J) #@ #@ & \" 8 " + " !0 @ ! 0 $ \"0 @ #P/PX !( !@ @ & 4 ( 0 , ! " + " D 8 7^OW]5M0[3\\DW$T;4\"GO/TIM>'[W..\\_#@ $@ & \" T !0 @ & 0 $ " + " !@ !@ #= @ $ ! !@ $ . . 8 ( !@ % \" $ ! 0 ) " + " \" / !:J) #@ # & \" 0 !0 @ ! 0 $ $ ! #$ . 2 8 ( " + " !@ % \" $ # 0 ) & / _ \\#\\ #P/PX !( !@ @ -" + " 4 ( !@ $ ! 8 8 W0( ! 0 0 ! #@ $@ & \" T " + " !0 @ & 0 $ !@ !@ #= @ $ ! \" $ . . 8 ( !@ % " + " \" $ ! 0 ) \" # \"VJ) #@ & & \" $ !0 @ ! 0 $ " + " #@ # & \" 0 !0 @ ! 0 $ $ ! # . 2 8 ( !@ % " + " \" $ # 0 ) & / _ \\#\\ #P/PX !0 !@ @ - 4 (" + " !P $ ! 8 < W0( ! @ , ) ! . 2 8 ( #0 % " + " \" 8 ! 0 & & -T\" 0 $ % P X !( !@ @ - 4 ( " + " !@ $ ! 8 8 W0( ! 0 < # #@ $@ & \" T !0 @ & " + " 0 $ !@ !@ #= @ $ ! @ ( . 2 8 ( #0 % \" 8 ! " + " 0 & & -T\" 0 $ % P X !( !@ @ - 4 ( !@ $ ! " + " 8 8 W0( ! 0 < # #@ $ & \" 0 !0 @ ! \"0 $ $" + " D !T>7!E7W1E'0 8V5L;%]I;F1E> '!A'1?> &-O;F1I=&EO;E]T97AT7WD " + " !C;VYD:71I;VY?=&5X=%]O9F9S970 9W)I9%]P=7-H7W=I9'1H X P !@ @ & 4 ( " + "! D #@ # & \" 8 !0 @ $ \"0 . , 8 " + "( !@ % \" 0 ) X X !@ @ & 4 ( 0 $ !" + " D ( . , 8 ( !@ % \" 0 ) X X " + " !@ @ & 4 ( 0 $ ! D ( . . 8 ( !@ % " + " \" $ ! 0 ) \" #@ # & \" 8 !0 @ $ " + " \"0 . . 8 ( !@ % \" $ ! 0 ) \" #@ # & " + " \" 8 !0 @ $ \"0 . . 8 ( !@ % \" $ !" + " 0 ) \" &E #@ #@ & \" 8 !0 @ ! 0 $ \"0 @ " + " !.0 X X !@ @ & 4 ( 0 $ ! D ( )$ . . 8 ( " + " !@ % \" $ ! 0 ) \" \"1 #@ #@ & \" 8 !0 @ " + "! 0 $ \"0 @ T0 X X !@ @ & 4 ( 0 $ ! D (" + " /D . ^ 8 ( @ % \" $ ! 0 % 0 !@ $ 2 0V5L;', 1W)I9" + "#$ 1W)I9#( #@ # & \" 8 !0 @ $ \"0 . , 8 ( " + " !@ % \" 0 ) X P !@ @ & 4 ( ! " + " D #@ ,@\" & \" ( !0 @ ! 0 $ !0 $ \\ ! AP '!A '0 8V]L;W( " - " X P !@ @ & 4 ( ! D #@ # & \" 8 " - " !0 @ $ \"0 . , 8 ( !@ % \" 0 ) " - " X P !@ @ & 4 ( ! D #@ # & \" 8 " - "!0 @ $ \"0 . \" , 8 ( @ % \" $ ! 0 % 0" - " $ $ \"@ 1W)I9# $=R:60Q !'" + LastModifiedBy "colin" + ModifiedDateFormat "%" + LastModifiedDate "Mon Jan 24 14:08:23 2011" + RTWModifiedTimeStamp 217778849 + ModelVersionFormat "1.%" + ConfigurationManager "none" + SampleTimeColors off + SampleTimeAnnotations off + LibraryLinkDisplay "none" + WideLines off + ShowLineDimensions off + ShowPortDataTypes off + ShowLoopsOnError on + IgnoreBidirectionalLines off + ShowStorageClass off + ShowTestPointIcons on + ShowSignalResolutionIcons on + ShowViewerIcons on + SortedOrder off + ExecutionContextIcon off + ShowLinearizationAnnotations on + BlockNameDataTip off + BlockParametersDataTip off + BlockDescriptionStringDataTip off + ToolBar on + StatusBar on + BrowserShowLibraryLinks off + BrowserLookUnderMasks off + SimulationMode "normal" + LinearizationMsg "none" + Profile off + ParamWorkspaceSource "MATLABWorkspace" + AccelSystemTargetFile "accel.tlc" + AccelTemplateMakefile "accel_default_tmf" + AccelMakeCommand "make_rtw" + TryForcingSFcnDF off + RecordCoverage off + CovPath "/" + CovSaveName "covdata" + CovMetricSettings "dw" + CovNameIncrementing off + CovHtmlReporting on + CovForceBlockReductionOff on + covSaveCumulativeToWorkspaceVar on + CovSaveSingleToWorkspaceVar on + CovCumulativeVarName "covCumulativeData" + CovCumulativeReport off + CovReportOnPause on + CovModelRefEnable "Off" + CovExternalEMLEnable off + ExtModeBatchMode off + ExtModeEnableFloating on + ExtModeTrigType "manual" + ExtModeTrigMode "normal" + ExtModeTrigPort "1" + ExtModeTrigElement "any" + ExtModeTrigDuration 1000 + ExtModeTrigDurationFloating "auto" + ExtModeTrigHoldOff 0 + ExtModeTrigDelay 0 + ExtModeTrigDirection "rising" + ExtModeTrigLevel 0 + ExtModeArchiveMode "off" + ExtModeAutoIncOneShot off + ExtModeIncDirWhenArm off + ExtModeAddSuffixToVar off + ExtModeWriteAllDataToWs off + ExtModeArmWhenConnect on + ExtModeSkipDownloadWhenConnect off + ExtModeLogAll on + ExtModeAutoUpdateStatusClock on + BufferReuse on + ShowModelReferenceBlockVersion off + ShowModelReferenceBlockIO off + Array { + Type "Handle" + Dimension 1 + Simulink.ConfigSet { + $ObjectID 1 + Version "1.10.0" + Array { + Type "Handle" + Dimension 8 + Simulink.SolverCC { + $ObjectID 2 + Version "1.10.0" + StartTime "0.0" + StopTime "10.0" + AbsTol "auto" + FixedStep "auto" + InitialStep "auto" + MaxNumMinSteps "-1" + MaxOrder 5 + ZcThreshold "auto" + ConsecutiveZCsStepRelTol "10*128*eps" + MaxConsecutiveZCs "1000" + ExtrapolationOrder 4 + NumberNewtonIterations 1 + MaxStep "auto" + MinStep "auto" + MaxConsecutiveMinStep "1" + RelTol "1e-3" + SolverMode "Auto" + Solver "ode45" + SolverName "ode45" + SolverJacobianMethodControl "auto" + ShapePreserveControl "DisableAll" + ZeroCrossControl "UseLocalSettings" + ZeroCrossAlgorithm "Nonadaptive" + AlgebraicLoopSolver "TrustRegion" + SolverResetMethod "Fast" + PositivePriorityOrder off + AutoInsertRateTranBlk off + SampleTimeConstraint "Unconstrained" + InsertRTBMode "Whenever possible" + } + Simulink.DataIOCC { + $ObjectID 3 + Version "1.10.0" + Decimation "1" + ExternalInput "[t, u]" + FinalStateName "xFinal" + InitialState "xInitial" + LimitDataPoints on + MaxDataPoints "1000" + LoadExternalInput off + LoadInitialState off + SaveFinalState off + SaveCompleteFinalSimState off + SaveFormat "Array" + SaveOutput on + SaveState off + SignalLogging on + DSMLogging on + InspectSignalLogs off + SaveTime on + ReturnWorkspaceOutputs off + StateSaveName "xout" + TimeSaveName "tout" + OutputSaveName "yout" + SignalLoggingName "logsout" + DSMLoggingName "dsmout" + OutputOption "RefineOutputTimes" + OutputTimes "[]" + ReturnWorkspaceOutputsName "out" + Refine "1" + } + Simulink.OptimizationCC { + $ObjectID 4 + Version "1.10.0" + Array { + Type "Cell" + Dimension 7 + Cell "BooleansAsBitfields" + Cell "PassReuseOutputArgsAs" + Cell "PassReuseOutputArgsThreshold" + Cell "ZeroExternalMemoryAtStartup" + Cell "ZeroInternalMemoryAtStartup" + Cell "OptimizeModelRefInitCode" + Cell "NoFixptDivByZeroProtection" + PropName "DisabledProps" + } + BlockReduction on + BooleanDataType on + ConditionallyExecuteInputs on + InlineParams off + UseIntDivNetSlope off + InlineInvariantSignals off + OptimizeBlockIOStorage on + BufferReuse on + EnhancedBackFolding off + StrengthReduction off + EnforceIntegerDowncast on + ExpressionFolding on + BooleansAsBitfields off + BitfieldContainerType "uint_T" + EnableMemcpy on + MemcpyThreshold 64 + PassReuseOutputArgsAs "Structure reference" + ExpressionDepthLimit 2147483647 + FoldNonRolledExpr on + LocalBlockOutputs on + RollThreshold 5 + SystemCodeInlineAuto off + StateBitsets off + DataBitsets off + UseTempVars off + ZeroExternalMemoryAtStartup on + ZeroInternalMemoryAtStartup on + InitFltsAndDblsToZero off + NoFixptDivByZeroProtection off + EfficientFloat2IntCast off + EfficientMapNaN2IntZero on + OptimizeModelRefInitCode off + LifeSpan "inf" + MaxStackSize "Inherit from target" + BufferReusableBoundary on + SimCompilerOptimization "Off" + AccelVerboseBuild off + } + Simulink.DebuggingCC { + $ObjectID 5 + Version "1.10.0" + RTPrefix "error" + ConsistencyChecking "none" + ArrayBoundsChecking "none" + SignalInfNanChecking "none" + SignalRangeChecking "none" + ReadBeforeWriteMsg "UseLocalSettings" + WriteAfterWriteMsg "UseLocalSettings" + WriteAfterReadMsg "UseLocalSettings" + AlgebraicLoopMsg "warning" + ArtificialAlgebraicLoopMsg "warning" + SaveWithDisabledLinksMsg "warning" + SaveWithParameterizedLinksMsg "warning" + CheckSSInitialOutputMsg on + UnderspecifiedInitializationDetection "Classic" + MergeDetectMultiDrivingBlocksExec "none" + CheckExecutionContextPreStartOutputMsg off + CheckExecutionContextRuntimeOutputMsg off + SignalResolutionControl "UseLocalSettings" + BlockPriorityViolationMsg "warning" + MinStepSizeMsg "warning" + TimeAdjustmentMsg "none" + MaxConsecutiveZCsMsg "error" + SolverPrmCheckMsg "warning" + InheritedTsInSrcMsg "warning" + DiscreteInheritContinuousMsg "warning" + MultiTaskDSMMsg "error" + MultiTaskCondExecSysMsg "error" + MultiTaskRateTransMsg "error" + SingleTaskRateTransMsg "none" + TasksWithSamePriorityMsg "warning" + SigSpecEnsureSampleTimeMsg "warning" + CheckMatrixSingularityMsg "none" + IntegerOverflowMsg "warning" + Int32ToFloatConvMsg "warning" + ParameterDowncastMsg "error" + ParameterOverflowMsg "error" + ParameterUnderflowMsg "none" + ParameterPrecisionLossMsg "warning" + ParameterTunabilityLossMsg "warning" + FixptConstUnderflowMsg "none" + FixptConstOverflowMsg "none" + FixptConstPrecisionLossMsg "none" + UnderSpecifiedDataTypeMsg "none" + UnnecessaryDatatypeConvMsg "none" + VectorMatrixConversionMsg "none" + InvalidFcnCallConnMsg "error" + FcnCallInpInsideContextMsg "Use local settings" + SignalLabelMismatchMsg "none" + UnconnectedInputMsg "warning" + UnconnectedOutputMsg "warning" + UnconnectedLineMsg "warning" + SFcnCompatibilityMsg "none" + UniqueDataStoreMsg "none" + BusObjectLabelMismatch "warning" + RootOutportRequireBusObject "warning" + AssertControl "UseLocalSettings" + EnableOverflowDetection off + ModelReferenceIOMsg "none" + ModelReferenceVersionMismatchMessage "none" + ModelReferenceIOMismatchMessage "none" + ModelReferenceCSMismatchMessage "none" + UnknownTsInhSupMsg "warning" + ModelReferenceDataLoggingMessage "warning" + ModelReferenceSymbolNameMessage "warning" + ModelReferenceExtraNoncontSigs "error" + StateNameClashWarn "warning" + SimStateInterfaceChecksumMismatchMsg "warning" + StrictBusMsg "ErrorLevel1" + BusNameAdapt "WarnAndRepair" + NonBusSignalsTreatedAsBus "none" + LoggingUnavailableSignals "error" + BlockIODiagnostic "none" + } + Simulink.HardwareCC { + $ObjectID 6 + Version "1.10.0" + ProdBitPerChar 8 + ProdBitPerShort 16 + ProdBitPerInt 32 + ProdBitPerLong 32 + ProdIntDivRoundTo "Undefined" + ProdEndianess "Unspecified" + ProdWordSize 32 + ProdShiftRightIntArith on + ProdHWDeviceType "32-bit Generic" + TargetBitPerChar 8 + TargetBitPerShort 16 + TargetBitPerInt 32 + TargetBitPerLong 32 + TargetShiftRightIntArith on + TargetIntDivRoundTo "Undefined" + TargetEndianess "Unspecified" + TargetWordSize 32 + TargetTypeEmulationWarnSuppressLevel 0 + TargetPreprocMaxBitsSint 32 + TargetPreprocMaxBitsUint 32 + TargetHWDeviceType "Specified" + TargetUnknown off + ProdEqTarget on + } + Simulink.ModelReferenceCC { + $ObjectID 7 + Version "1.10.0" + UpdateModelReferenceTargets "IfOutOfDateOrStructuralChange" + CheckModelReferenceTargetMessage "error" + EnableParallelModelReferenceBuilds off + ParallelModelReferenceMATLABWorkerInit "None" + ModelReferenceNumInstancesAllowed "Multi" + PropagateVarSize "Infer from blocks in model" + ModelReferencePassRootInputsByReference on + ModelReferenceMinAlgLoopOccurrences off + PropagateSignalLabelsOutOfModel off + SupportModelReferenceSimTargetCustomCode off + } + Simulink.SFSimCC { + $ObjectID 8 + Version "1.10.0" + SFSimEnableDebug on + SFSimOverflowDetection on + SFSimEcho on + SimBlas on + SimCtrlC on + SimExtrinsic on + SimIntegrity on + SimUseLocalCustomCode off + SimBuildMode "sf_incremental_build" + } + Simulink.RTWCC { + $BackupClass "Simulink.RTWCC" + $ObjectID 9 + Version "1.10.0" + Array { + Type "Cell" + Dimension 6 + Cell "IncludeHyperlinkInReport" + Cell "GenerateTraceInfo" + Cell "GenerateTraceReport" + Cell "GenerateTraceReportSl" + Cell "GenerateTraceReportSf" + Cell "GenerateTraceReportEml" + PropName "DisabledProps" + } + SystemTargetFile "grt.tlc" + GenCodeOnly off + MakeCommand "make_rtw" + GenerateMakefile on + TemplateMakefile "grt_default_tmf" + GenerateReport off + SaveLog off + RTWVerbose on + RetainRTWFile off + ProfileTLC off + TLCDebug off + TLCCoverage off + TLCAssert off + ProcessScriptMode "Default" + ConfigurationMode "Optimized" + ConfigAtBuild off + RTWUseLocalCustomCode off + RTWUseSimCustomCode off + IncludeHyperlinkInReport off + LaunchReport off + TargetLang "C" + IncludeBusHierarchyInRTWFileBlockHierarchyMap off + IncludeERTFirstTime off + GenerateTraceInfo off + GenerateTraceReport off + GenerateTraceReportSl off + GenerateTraceReportSf off + GenerateTraceReportEml off + GenerateCodeInfo off + RTWCompilerOptimization "Off" + CheckMdlBeforeBuild "Off" + CustomRebuildMode "OnUpdate" + Array { + Type "Handle" + Dimension 2 + Simulink.CodeAppCC { + $ObjectID 10 + Version "1.10.0" + Array { + Type "Cell" + Dimension 19 + Cell "IgnoreCustomStorageClasses" + Cell "IgnoreTestpoints" + Cell "InsertBlockDesc" + Cell "SFDataObjDesc" + Cell "SimulinkDataObjDesc" + Cell "DefineNamingRule" + Cell "SignalNamingRule" + Cell "ParamNamingRule" + Cell "InlinedPrmAccess" + Cell "CustomSymbolStr" + Cell "CustomSymbolStrGlobalVar" + Cell "CustomSymbolStrType" + Cell "CustomSymbolStrField" + Cell "CustomSymbolStrFcn" + Cell "CustomSymbolStrFcnArg" + Cell "CustomSymbolStrBlkIO" + Cell "CustomSymbolStrTmpVar" + Cell "CustomSymbolStrMacro" + Cell "ReqsInCode" + PropName "DisabledProps" + } + ForceParamTrailComments off + GenerateComments on + IgnoreCustomStorageClasses on + IgnoreTestpoints off + IncHierarchyInIds off + MaxIdLength 31 + PreserveName off + PreserveNameWithParent off + ShowEliminatedStatement off + IncAutoGenComments off + SimulinkDataObjDesc off + SFDataObjDesc off + IncDataTypeInIds off + MangleLength 1 + CustomSymbolStrGlobalVar "$R$N$M" + CustomSymbolStrType "$N$R$M" + CustomSymbolStrField "$N$M" + CustomSymbolStrFcn "$R$N$M$F" + CustomSymbolStrFcnArg "rt$I$N$M" + CustomSymbolStrBlkIO "rtb_$N$M" + CustomSymbolStrTmpVar "$N$M" + CustomSymbolStrMacro "$R$N$M" + DefineNamingRule "None" + ParamNamingRule "None" + SignalNamingRule "None" + InsertBlockDesc off + SimulinkBlockComments on + EnableCustomComments off + InlinedPrmAccess "Literals" + ReqsInCode off + UseSimReservedNames off + } + Simulink.GRTTargetCC { + $BackupClass "Simulink.TargetCC" + $ObjectID 11 + Version "1.10.0" + Array { + Type "Cell" + Dimension 17 + Cell "GeneratePreprocessorConditionals" + Cell "IncludeMdlTerminateFcn" + Cell "CombineOutputUpdateFcns" + Cell "SuppressErrorStatus" + Cell "ERTCustomFileBanners" + Cell "GenerateSampleERTMain" + Cell "GenerateTestInterfaces" + Cell "ModelStepFunctionPrototypeControlCompliant" + Cell "CPPClassGenCompliant" + Cell "MultiInstanceERTCode" + Cell "PurelyIntegerCode" + Cell "SupportNonFinite" + Cell "SupportComplex" + Cell "SupportAbsoluteTime" + Cell "SupportContinuousTime" + Cell "SupportNonInlinedSFcns" + Cell "PortableWordSizes" + PropName "DisabledProps" + } + TargetFcnLib "ansi_tfl_table_tmw.mat" + TargetLibSuffix "" + TargetPreCompLibLocation "" + TargetFunctionLibrary "ANSI_C" + UtilityFuncGeneration "Auto" + ERTMultiwordTypeDef "System defined" + ERTCodeCoverageTool "None" + ERTMultiwordLength 256 + MultiwordLength 2048 + GenerateFullHeader on + GenerateSampleERTMain off + GenerateTestInterfaces off + IsPILTarget off + ModelReferenceCompliant on + ParMdlRefBuildCompliant on + CompOptLevelCompliant on + IncludeMdlTerminateFcn on + GeneratePreprocessorConditionals "Disable all" + CombineOutputUpdateFcns off + SuppressErrorStatus off + ERTFirstTimeCompliant off + IncludeFileDelimiter "Auto" + ERTCustomFileBanners off + SupportAbsoluteTime on + LogVarNameModifier "rt_" + MatFileLogging on + MultiInstanceERTCode off + SupportNonFinite on + SupportComplex on + PurelyIntegerCode off + SupportContinuousTime on + SupportNonInlinedSFcns on + SupportVariableSizeSignals off + EnableShiftOperators on + ParenthesesLevel "Nominal" + PortableWordSizes off + ModelStepFunctionPrototypeControlCompliant off + CPPClassGenCompliant off + AutosarCompliant off + UseMalloc off + ExtMode off + ExtModeStaticAlloc off + ExtModeTesting off + ExtModeStaticAllocSize 1000000 + ExtModeTransport 0 + ExtModeMexFile "ext_comm" + ExtModeIntrfLevel "Level1" + RTWCAPISignals off + RTWCAPIParams off + RTWCAPIStates off + GenerateASAP2 off + } + PropName "Components" + } + } + PropName "Components" + } + Name "Configuration" + CurrentDlgPage "Solver" + ConfigPrmDlgPosition " [ 200, 74, 1080, 704 ] " + } + PropName "ConfigurationSets" + } + Simulink.ConfigSet { + $PropName "ActiveConfigurationSet" + $ObjectID 1 + } + BlockDefaults { + ForegroundColor "black" + BackgroundColor "white" + DropShadow off + NamePlacement "normal" + FontName "Helvetica" + FontSize 10 + FontWeight "normal" + FontAngle "normal" + ShowName on + BlockRotation 0 + BlockMirror off + } + AnnotationDefaults { + HorizontalAlignment "center" + VerticalAlignment "middle" + ForegroundColor "black" + BackgroundColor "white" + DropShadow off + FontName "Helvetica" + FontSize 10 + FontWeight "normal" + FontAngle "normal" + UseDisplayTextAsClickCallback off + } + LineDefaults { + FontName "Helvetica" + FontSize 9 + FontWeight "normal" + FontAngle "normal" + } + BlockParameterDefaults { + Block { + BlockType Demux + Outputs "4" + DisplayOption "none" + BusSelectionMode off + } + Block { + BlockType Inport + Port "1" + UseBusObject off + BusObject "BusObject" + BusOutputAsStruct off + PortDimensions "-1" + VarSizeSig "Inherit" + SampleTime "-1" + OutMin "[]" + OutMax "[]" + DataType "auto" + OutDataType "fixdt(1,16,0)" + OutScaling "[]" + OutDataTypeStr "Inherit: auto" + LockScale off + SignalType "auto" + SamplingMode "auto" + LatchByDelayingOutsideSignal off + LatchInputForFeedbackSignals off + Interpolate on + } + Block { + BlockType Outport + Port "1" + UseBusObject off + BusObject "BusObject" + BusOutputAsStruct off + PortDimensions "-1" + VarSizeSig "Inherit" + SampleTime "-1" + OutMin "[]" + OutMax "[]" + DataType "auto" + OutDataType "fixdt(1,16,0)" + OutScaling "[]" + OutDataTypeStr "Inherit: auto" + LockScale off + SignalType "auto" + SamplingMode "auto" + SourceOfInitialOutputValue "Dialog" + OutputWhenDisabled "held" + InitialOutput "[]" + } + Block { + BlockType "S-Function" + FunctionName "system" + SFunctionModules "''" + PortCounts "[]" + SFunctionDeploymentMode off + } + Block { + BlockType SubSystem + ShowPortLabels "FromPortIcon" + Permissions "ReadWrite" + PermitHierarchicalResolution "All" + TreatAsAtomicUnit off + CheckFcnCallInpInsideContextMsg off + SystemSampleTime "-1" + RTWFcnNameOpts "Auto" + RTWFileNameOpts "Auto" + RTWMemSecFuncInitTerm "Inherit from model" + RTWMemSecFuncExecute "Inherit from model" + RTWMemSecDataConstants "Inherit from model" + RTWMemSecDataInternal "Inherit from model" + RTWMemSecDataParameters "Inherit from model" + SimViewingDevice off + DataTypeOverride "UseLocalSettings" + MinMaxOverflowLogging "UseLocalSettings" + } + Block { + BlockType Terminator + } + } + System { + Name "unprovable" + Location [109, 319, 756, 645] + Open on + ModelBrowserVisibility off + ModelBrowserWidth 200 + ScreenColor "white" + PaperOrientation "landscape" + PaperPositionMode "auto" + PaperType "usletter" + PaperUnits "inches" + TiledPaperMargins [0.500000, 0.500000, 0.500000, 0.500000] + TiledPageScale 1 + ShowPageBoundaries off + ZoomFactor "100" + ReportName "simulink-default.rpt" + SIDHighWatermark 6 + Block { + BlockType SubSystem + Name "f_unprovable" + SID 1 + Ports [2, 1] + Position [100, 59, 265, 126] + LibraryVersion "1.12" + UserDataPersistent on + UserData "DataTag0" + CopyFcn "TTdiag Copy" + DeleteFcn "TTdiag Delete" + OpenFcn "TTdiag Open Simulink" + MinAlgLoopOccurrences off + PropExecContextOutsideSubsystem off + RTWSystemCode "Auto" + FunctionWithSeparateData off + Opaque off + RequestExecContextInheritance off + MaskHideContents off + MaskDescription "Table Block" + MaskDisplay "port_label('input',1,'x');port_label('input',2,'y');port_label('output',1,'output');text(0.5," + " 0.9, 'Tabular Expression', 'horizontalAlignment', 'center')\ncolor('red')\ntext(0.5, 0.1, 'Not Checked', 'horiz" + "ontalAlignment', 'center')" + MaskIconFrame on + MaskIconOpaque on + MaskIconRotate "none" + MaskPortRotate "default" + MaskIconUnits "normalized" + System { + Name "f_unprovable" + Location [433, 447, 931, 747] + Open off + ModelBrowserVisibility off + ModelBrowserWidth 200 + ScreenColor "white" + PaperOrientation "landscape" + PaperPositionMode "auto" + PaperType "usletter" + PaperUnits "inches" + TiledPaperMargins [0.500000, 0.500000, 0.500000, 0.500000] + TiledPageScale 1 + ShowPageBoundaries off + ZoomFactor "100" + Block { + BlockType Inport + Name "y" + SID 4 + Position [35, 38, 65, 52] + IconDisplay "Port number" + OutDataType "fixdt(1, 16)" + OutScaling "2^0" + } + Block { + BlockType Inport + Name "x" + SID 6 + Position [35, 38, 65, 52] + Port "2" + IconDisplay "Port number" + OutDataType "fixdt(1, 16)" + OutScaling "2^0" + } + Block { + BlockType SubSystem + Name "code" + SID 3 + Ports [2, 1] + Position [250, 49, 320, 96] + LibraryVersion "1.31" + PermitHierarchicalResolution "ExplicitOnly" + TreatAsAtomicUnit on + MinAlgLoopOccurrences off + PropExecContextOutsideSubsystem off + RTWSystemCode "Auto" + FunctionWithSeparateData off + Opaque off + RequestExecContextInheritance off + MaskHideContents off + MaskType "Stateflow" + MaskDescription "Embedded MATLAB block" + MaskDisplay "disp('f_unprovable');" + MaskSelfModifiable on + MaskIconFrame on + MaskIconOpaque off + MaskIconRotate "none" + MaskPortRotate "default" + MaskIconUnits "autoscale" + System { + Name "code" + Location [257, 457, 812, 717] + Open off + ModelBrowserVisibility off + ModelBrowserWidth 200 + ScreenColor "white" + PaperOrientation "landscape" + PaperPositionMode "auto" + PaperType "usletter" + PaperUnits "inches" + TiledPaperMargins [0.500000, 0.500000, 0.500000, 0.500000] + TiledPageScale 1 + ShowPageBoundaries off + ZoomFactor "100" + SIDHighWatermark 21 + SIDPrevWatermark 13 + Block { + BlockType Inport + Name "x" + SID 21 + Position [20, 101, 40, 119] + IconDisplay "Port number" + } + Block { + BlockType Inport + Name "y" + SID 19 + Position [20, 136, 40, 154] + Port "2" + IconDisplay "Port number" + } + Block { + BlockType Demux + Name " Demux " + SID 15 + Ports [1, 1] + Position [270, 160, 320, 200] + Outputs "1" + } + Block { + BlockType "S-Function" + Name " SFunction " + SID 14 + Tag "Stateflow S-Function unprovable 2" + Ports [2, 2] + Position [180, 100, 230, 160] + FunctionName "sf_sfun" + PortCounts "[2 2]" + EnableBusSupport off + Port { + PortNumber 2 + Name "output" + RTWStorageClass "Auto" + DataLoggingNameMode "SignalName" + } + } + Block { + BlockType Terminator + Name " Terminator " + SID 17 + Position [460, 171, 480, 189] + } + Block { + BlockType Outport + Name "output" + SID 20 + Position [460, 101, 480, 119] + IconDisplay "Port number" + } + Line { + SrcBlock " SFunction " + SrcPort 1 + DstBlock " Demux " + DstPort 1 + } + Line { + SrcBlock "x" + SrcPort 1 + DstBlock " SFunction " + DstPort 1 + } + Line { + SrcBlock "y" + SrcPort 1 + DstBlock " SFunction " + DstPort 2 + } + Line { + Name "output" + Labels [0, 0] + SrcBlock " SFunction " + SrcPort 2 + DstBlock "output" + DstPort 1 + } + Line { + SrcBlock " Demux " + SrcPort 1 + DstBlock " Terminator " + DstPort 1 + } + } + } + Block { + BlockType Outport + Name "output" + SID 5 + Position [35, 53, 65, 67] + IconDisplay "Port number" + OutDataType "fixdt(1, 16)" + OutScaling "2^0" + } + Line { + SrcBlock "y" + SrcPort 1 + DstBlock "code" + DstPort 2 + } + Line { + SrcBlock "code" + SrcPort 1 + DstBlock "output" + DstPort 1 + } + Line { + SrcBlock "x" + SrcPort 1 + DstBlock "code" + DstPort 1 + } + } + } + Annotation { + Name "This model is an example of a table which will not pass the typecheck.\nIt is a 2 dimensional table" + " which has problems in both dimensions. Both\nPVS and CVC3 will discover the problems in this table." + Position [438, 83] + } + } +} +MatData { + NumRecords 1 + DataRecord { + Tag DataTag0 + Data " %)30 . > 8 ( $0 ! $ ! !-0T]3 0 $ $1A=&$. 2 8 ( #0 " + " % \" 8 ! 0 & & -T\" 0 $ ! !0 X #X+0 !@ @ ) 4" + " ( 0 ,@M ! ( #(+0 %)30 . *\"T 8 ( @ % \" $ ! 0 " + " % 0 !0 $ % 34-/4P . X\"P 8 ( $0 ! $ ! !-0T]3 0 T !&:6QE5W)A<'!E" + "'0 8V5L;%]I;F1E> !P87)E;G1?9W)I9 !C96QL'1?;V9F'0 4D-E;&P 9G5N8W1I" + ";VY?;F%M90!F=6YC=&EO;E]I;G!U=', !0 , ! +P \"$ ! , " + " \"( ! ,0 \", ! ,@ !( ! ,P 4 # 0 #0 A 0 #4 B 0 #8 C 0" + " #< 2 0 #@ % P $ Y (0 $ Z (@ $ [ (P $ \\ $@ $ ] " + " " + " . X X !@ @ & 4 ( 0 $ ! D ( 8 +" + ":HD . , 8 ( ! % \" $ # 0 0 , >3XU X X !@ @ & 4 " + " ( 0 $ ! D ( \\#\\. . 8 ( !@ % \" $ ! 0 " + " ) \" \" \"'*- #@ & & \" $ !0 @ ! 0 $ #@ # & \" " + " 0 !0 @ ! P $ $ # 'D\\,P . . 8 ( !@ % \" $ ! 0 " + " ) \" ! #@ $@ & \" T !0 @ & 0 $ !@ !@ #= @ " + " $ ! !0 $ . . 8 ( !@ % \" $ ! 0 ) \" / _#@ " + " $@ & \" 8 !0 @ ! P $ \"0 !@ #P/P / _ \\#\\. 4 " + " 8 ( #0 % \" < ! 0 & ' -T\" 0 ( $ !@ ( #@" + " #@ & \" 8 !0 @ ! 0 $ \"0 @ 0 X X !@ @ & " + " 4 ( 0 $ ! D ( \\#\\. 2 8 ( #0 % \" 8 ! " + "0 & & -T\" 0 $ \" P X X !@ @ & 4 ( 0 $ ! " + " D ( X $>HT . . 8 ( !@ % \" $ ! 0 ) \" . !(*- #" + "@ $@ & \" T !0 @ & 0 $ !@ !@ #= @ $ ! !0 $ . . " + " 8 ( !@ % \" $ ! 0 ) \" / _#@ $@ & \" 8 !" + "0 @ ! P $ \"0 !@ #P/P / _ \\#\\. 2 8 ( #0 % " + "\" 8 ! 0 & & -T\" 0 $ $ @ X X !@ @ & 4 ( " + " 0 $ ! D ( )" + "#XP X X !@ @ & 4 ( 0 $ ! D ( \\#\\. . 8 ( !" + "@ % \" $ ! 0 ) \" ! \"8*) #@ & & \" $ !0 @ ! " + " 0 $ #@ # & \" 0 !0 @ ! P $ $ # '@\\, . . 8 ( " + " !@ % \" $ ! 0 ) \" ! #@ $@ & \" T !0 @ & " + " 0 $ !@ !@ #= @ $ ! \" $ . . 8 ( !@ % \" $ ! " + " 0 ) \" / _#@ #@ & \" 8 !0 @ ! 0 $ \"0 @ " + " #P/PX X !@ @ & 4 ( 0 $ ! D ( ( )BHD . . 8 ( " + " !@ % \" $ ! 0 ) \" / _#@ $@ & \" 8 !0 @ ! " + " P $ \"0 !@ !&MX2^TRNT_%3=5V'(+[3\\. 4 8 ( #0 % \" < ! " + " 0 & ' -T\" 0 ( ' \"0 ( #@ #@ & \" 8 !0 @ !" + " 0 $ \"0 @ 0 X X !@ @ & 4 ( 0 $ ! D ( " + " $ . 2 8 ( #0 % \" 8 ! 0 & & -T\" 0 $ \"" + " P X X !@ @ & 4 ( 0 $ ! D ( ( )HHD . . 8 ( " + " !@ % \" $ ! 0 ) \" \" \":J) #@ $@ & \" T !0 @ " + "& 0 $ !@ !@ #= @ $ ! \" $ . . 8 ( !@ % \" $ " + "! 0 ) \" / _#@ #@ & \" 8 !0 @ ! 0 $ \"0 @ " + " #P/PX X !@ @ & 4 ( 0 $ ! D ( ( )>HD . . 8 (" + " !@ % \" $ ! 0 ) \" / _#@ $@ & \" 8 !0 @ " + "! P $ \"0 !@ !&MX2^TRNT_%3=5V'(+[3\\. 2 8 ( #0 % \" 8 " + " ! 0 & & -T\" 0 $ ' @ X X !@ @ & 4 ( 0 $ " + "! D ( P $BHT . , 8 ( ! % \" $ ! 0 0 $ > X !(" + " !@ @ & 4 ( 0 , ! D 8 \\#\\ #P/P / _#@ $@ &" + " \" T !0 @ & 0 $ !@ !@ #= @ $ ! ! ( . 2 8 ( " + " #0 % \" 8 ! 0 & & -T\" 0 $ ) @ X X !@ @ & " + " 4 ( 0 $ ! D ( H $DHT . 8 8 ( 0 % \" $ ! " + " 0 . , 8 ( ! % \" $ # 0 0 , >\"IY X !( !@ @ & " + " 4 ( 0 , ! D 8 \\#\\ #P/P / _#@ $@ & \" T " + " !0 @ & 0 $ !@ !@ #= @ $ ! !@ ( . 2 8 ( #0 % " + " \" 8 ! 0 & & -T\" 0 $ ' @ X X !@ @ & 4 ( " + " 0 $ ! D ( P $FHT . 8 8 ( 0 % \" $ ! 0 . " + ", 8 ( ! % \" $ # 0 0 , >2MX X !( !@ @ & 4 ( " + "0 , ! D 8 \\#\\ #P/P / _#@ $@ & \" T !0 @ & " + " 0 $ !@ !@ #= @ $ ! !@ ( . 2 8 ( #0 % \" 8 ! " + "0 & & -T\" 0 $ ) @ X X !@ @ & 4 ( 0 $ ! " + " D ( L %NHT . 8 8 ( 0 % \" $ ! 0 . , 8 ( ! " + " % \" $ ! 0 0 $ >0 X !( !@ @ & 4 ( 0 , ! " + " D 8 \\#\\ #P/P / _#@ %@ & \" T !0 @ ) 0 $ !@ " + " \"0 #= @ $ $ P H + # 0 #@ $@ & \" T !0 @ & 0 " + " $ !@ !@ #= @ $ ! !0 $ . 2 8 ( #0 % \" 8 ! 0 " + " & & -T\" 0 $ ( 0 X !( !@ @ - 4 ( !@ $ ! " + " 8 8 W0( ! 0 ( # #@ $@ & \" T !0 @ & 0 $ !@ !" + "@ #= @ $ ! !0 $ . 2 8 ( #0 % \" 8 ! 0 & & " + " -T\" 0 $ ( 0 X ! !@ @ $ 4 ( 0 P ! ! , 9E]U;G!R" + ";W9A8FQE X P !@ @ $ 4 ( 0 , ! ! P!X+'D #@ % ! & \" ( " + " !0 @ ! 0 $ !0 $ < ! ' '-E= !I;G!U=', 8V]U;G0 ')A;F=E #@ #@ " + "& \" 8 !0 @ ! 0 $ \"0 @ #P/PX P !@ @ & 4 " + "( ! D #@ #@ & \" 8 !0 @ ! 0 $ \"0 @ " + " $\"/0 X X !@ @ & 4 ( 0 $ ! D ( 64 . . 8 (" + " !@ % \" $ ! 0 ) \" #@ #@ & \" 8 !0 @ " + "! 0 $ \"0 @ X X !@ @ & 4 ( 0 $ ! D (" + " . 4 X 8 ( 0 % \" 8 ! 0 . . 8 ( @ % " + " \" $ 0 % 0 0 $ #@ ,@\" & \" ( !0 @ ! 0 $ " + " !0 $ \\ ! AP '!A'1?:&5I9VAT &-O;F1I=&EO;E]T97AT7W" + "@ !C;VYD:71I;VY?=&5X=%]Y 8V]N9&ET:6]N7W1E>'1?;V9F