omc 1.9.1+dev (r20820) (RML version) compliance suite 3.2

Summary: 777/1014 succeeded

ModelicaCompliance (1/1)

Test	Status
Template	pass

ModelicaCompliance.Algorithms.Assert (10/11)

Test	Status
AssertDiffLevel	pass
AssertError	pass
AssertFalseExp	pass
AssertFalse	pass
AssertNoEval	pass
AssertNonBoolCond	pass
AssertNonStringMsg	pass
AssertTrueExp	pass
AssertTrue	pass
AssertVarLevel	fail
AssertWarning	pass

ModelicaCompliance.Algorithms.Assignment (6/6)

Test	Status
AssignmentOrder	pass
MultiOutputAssignmentLess	pass
MultiOutputAssignmentMore	pass
MultiOutputAssignmentOmitted	pass
MultiOutputAssignment	pass
SimpleAssignment	pass

ModelicaCompliance.Algorithms.Break (5/5)

Test	Status
BreakAlone	pass
BreakFor	pass
BreakIf	pass
BreakMultiFor	pass
BreakWhile	pass

ModelicaCompliance.Algorithms.For (21/28)

Test	Status
ArrayRangeExp	pass
ArrayRange	pass
BoolRange	fail
BoolTypeRange	fail
EnumRange	fail
EnumTypeRange	pass
ImplicitBoolIterator	fail
ImplicitEnumIterator	fail
ImplicitIntegerIterator	pass
ImplicitIteratorEqRange	pass
ImplicitIteratorNeqRange	pass
ImplicitIteratorNonSub	pass
ImplicitMultiIterator	pass
ImplicitMultiMixedIterator	fail
IntegerRange	pass
IteratorScope	pass
MixedImplExplIterator	pass
MultiEq	pass
MultiIterator	pass
NestedLoops	pass
RangeScope	pass
RealRange	pass
ScalarRange	pass
ShadowedIterator	pass
SingleIterator	pass
StringRange	pass
VarArrayRange	fail
VariableRange	pass

ModelicaCompliance.Algorithms.If (13/13)

Test	Status
BranchEvaluation	pass
EvaluationOrder	pass
MultipleBranchesMultipleMatching	pass
MultipleBranchesNoneMatchingElse	pass
MultipleBranchesNoneMatching	pass
NonBooleanCondition	pass
NonScalarCondition	pass
SingleBranchEmpty	pass
SingleBranch	pass
TwoBranchesElseSelectFirst	pass
TwoBranchesElseSelectSecond	pass
TwoBranchesNoElseSelectFirst	pass
TwoBranchesNoElseSelectSecond	pass

ModelicaCompliance.Algorithms.Return (2/2)

Test	Status
ReturnInvalid	pass
Return	pass

ModelicaCompliance.Algorithms.Terminate (1/1)

Test	Status
Terminate	pass

ModelicaCompliance.Algorithms.When (7/7)

Test	Status
ElseWhenNestedStatement	pass
ElseWhenStatement	pass
NestedWhenStatement	pass
WhenPriority	pass
WhenStatement	pass
WhenStatementsIdenticalCondition	pass
WhenVectorExpression	pass

ModelicaCompliance.Algorithms.While (3/3)

Test	Status
WhileNonBooleanCondition	pass
WhileNonScalarCondition	pass
WhileStatement	pass

ModelicaCompliance.Arrays.Declarations (20/20)

Test	Status
ArrayAndScalarsSameLine	pass
ArrayDeclarationMixedForms	pass
ArrayDeclarationTypeDim1	pass
ArrayDeclarationTypeDim2	pass
ArrayEmptyMatrices	pass
ArrayEmptyMatricesWithFill	pass
ArrayEmptyVector	pass
ArrayEmptyVectorWithFill	pass
ArrayofArrayRealParameter	pass
ArrayofArrayReal	pass
ArrayTypeIntegerMatrix	pass
ArrayTypeIntegerParameter	pass
ArrayTypeInteger	pass
ArrayUnspecifiedDimIncorrect	pass
ArrayUnspecifiedDim	pass
ArrayVariablesMultipleDeclarations	pass
ArrayVariablesSingleDeclaration	pass
ArrayWithNegativeDims	pass
EnumArray	pass
EnumMixedArray	pass

ModelicaCompliance.Arrays.Flexible (1/1)

Test	Status
ArrayFlexible	pass

ModelicaCompliance.Arrays.Functions.Algebra (5/5)

Test	Status
Cross	pass
OuterProduct	pass
Skew	pass
Symmetric	pass
Transpose1	pass

ModelicaCompliance.Arrays.Functions.Construction (7/7)

Test	Status
ArrayConstructorDiagonal	pass
ArrayConstructorFillBoolean	pass
ArrayConstructorFill	pass
ArrayConstructorIdentity	pass
ArrayConstructorLinespace	pass
ArrayConstructorOnes	pass
ArrayConstructorZeros	pass

ModelicaCompliance.Arrays.Functions.Conversion (3/3)

Test	Status
DimConversionMatrix	pass
DimConversionScalar	pass
DimConversionVector	pass

ModelicaCompliance.Arrays.Functions.Reductions (8/9)

Test	Status
ArrayReductionMax1	pass
ArrayReductionMax2	pass
ArrayReductionMin	pass
ArrayReductionProduct1	pass
ArrayReductionProduct2	pass
ArrayReductionSum1	pass
ArrayReductionSum2	pass
ArrayReductionSum3	pass
Deduce	fail

ModelicaCompliance.Arrays.Functions.Size (6/6)

Test	Status
ArrayDimSize1	pass
ArrayDimSize2	pass
ArrayDimSize3	pass
ArrayDimSizeIncorrectArgument1	pass
ArrayDimSizeIncorrectArgument2	pass
ArrayDimSizeIncorrectArgument3	pass

ModelicaCompliance.Arrays.Indexing (20/21)

Test	Status
ArrayIndexing10	pass
ArrayIndexing11	pass
ArrayIndexing12	pass
ArrayIndexing13	pass
ArrayIndexing14	pass
ArrayIndexing1	pass
ArrayIndexing2	pass
ArrayIndexing3	pass
ArrayIndexing4	pass
ArrayIndexing5	pass
ArrayIndexing6	pass
ArrayIndexing7	pass
ArrayIndexing8	pass
ArrayIndexing9	pass
ArrayIndexingWithEnd1	pass
ArrayIndexingWithEnd2	pass
ArrayIndexingWithEnd3	pass
ArrayIndexingWithEnd4	pass
EnumArrayIndexing	pass
EnumArrayInvalidIndexing	fail
EnumMixedArrayIndexing	pass

ModelicaCompliance.Arrays.Operations.Arithmetic (58/60)

Test	Status
ArrayAdditionIncorrect1	pass
ArrayAdditionIncorrect2	pass
ArrayConcatenation10	pass
ArrayConcatenation11	fail
ArrayConcatenation12	pass
ArrayConcatenation13	fail
ArrayConcatenation14	pass
ArrayConcatenation15	pass
ArrayConcatenation16	pass
ArrayConcatenation1	pass
ArrayConcatenation2	pass
ArrayConcatenation3	pass
ArrayConcatenation4	pass
ArrayConcatenation5	pass
ArrayConcatenation6	pass
ArrayConcatenation7	pass
ArrayConcatenation8	pass
ArrayConcatenation9	pass
ArrayDivision1	pass
ArrayDivisionIncorrect1	pass
ArrayDivisionIncorrect2	pass
ArrayEWAddition1	pass
ArrayEWAddition2	pass
ArrayEWAddition3	pass
ArrayEWAddition4	pass
ArrayEWAddition5	pass
ArrayEWAddition6	pass
ArrayEWDivision1	pass
ArrayEWDivision2	pass
ArrayEWDivision3	pass
ArrayEWDivision4	pass
ArrayEWDivision5	pass
ArrayEWExponentiation1	pass
ArrayEWExponentiation2	pass
ArrayEWExponentiation3	pass
ArrayEWExponentiation4	pass
ArrayEWExponentiation5	pass
ArrayEWExponentiationIncorrect	pass
ArrayEWMultiplication1	pass
ArrayEWMultiplication2	pass
ArrayEWMultiplication3	pass
ArrayEWMultiplication4	pass
ArrayEWMultiplication5	pass
ArrayEWMultiplicationIncorrect1	pass
ArrayEWSubtraction1	pass
ArrayEWSubtraction2	pass
ArrayEWSubtraction3	pass
ArrayEWSubtraction4	pass
ArrayEWSubtraction5	pass
ArrayEWSubtraction6	pass
ArrayExponentiationIncorrect1	pass
ArrayExponentiationIncorrect2	pass
ArrayExponentiationIncorrect3	pass
ArrayMatrixMatrixAddition	pass
ArrayMultiplication2	pass
ArrayMultiplication3	pass
ArraySubtraction1	pass
ArraySubtractionIncorrect1	pass
ArraySubtractionIncorrect2	pass
ArrayVectorVectorAddition	pass

ModelicaCompliance.Arrays.Operations.Assignment (1/1)

Test	Status
ArrayAssignment	pass

ModelicaCompliance.Arrays.Operations.Equality (1/1)

Test	Status
ArrayEquality	pass

ModelicaCompliance.Arrays.Operations.Logical (6/6)

Test	Status
ArrayLogicalAnd1	pass
ArrayLogicalAnd2	pass
ArrayLogicalNot1	pass
ArrayLogicalNot2	pass
ArrayLogicalOr1	pass
ArrayLogicalOr2	pass

ModelicaCompliance.Arrays.Operations.MatrixProduct (25/25)

Test	Status
ArrayMatrixExponentiation1	pass
ArrayMatrixExponentiation2	pass
ArrayMatrixExponentiation3	pass
ArrayMatrixMatrixMul1	pass
ArrayMatrixMatrixMul2	pass
ArrayMatrixMatrixMul3	pass
ArrayMatrixMatrixMul4	pass
ArrayMatrixMatrixMul5	pass
ArrayMatrixMatrixMul6	pass
ArrayMatrixVectorMul1	pass
ArrayMatrixVectorMul2	pass
ArrayMatrixVectorMul3	pass
ArrayMatrixVectorMul4	pass
ArrayMatrixVectorMul5	pass
ArrayVectorMatrixMul1	pass
ArrayVectorMatrixMul2	pass
ArrayVectorMatrixMul3	pass
ArrayVectorMatrixMul4	pass
ArrayVectorMatrixMul5	pass
ArrayVectorMatrixVectorMul1	pass
ArrayVectorMatrixVectorMul2	pass
ArrayVectorVectorMul1	pass
ArrayVectorVectorMul2	pass
ArrayVectorVectorMul3	pass
ArrayVectorVectorMul4	pass

ModelicaCompliance.Classes.Balancing (6/6)

Test	Status
CorrectBalance1	pass
CorrectBalance2	pass
CorrectBalance3	pass
CorrectBalance4	pass
CorrectBalance5	pass
WrongBalance	pass

ModelicaCompliance.Classes.Declarations (1/1)

Test	Status
PartialSimulationModel	pass

ModelicaCompliance.Classes.Declarations.Long (1/1)

Test	Status
ClassSections	pass

ModelicaCompliance.Classes.Declarations.Long.QuotedIdentifiers (1/1)

Test	Status
?abfnrtv	pass

ModelicaCompliance.Classes.Declarations.Short (11/12)

Test	Status
ArrayTypeArray	pass
ArrayType	pass
FlowStreamTypeComp	pass
InputOutputTypeComp	pass
ModifierScope	pass
PartialClass	fail
ShortClass	pass
ShortFunction	pass
ShortType	pass
SpecializedClassIter	pass
SpecializedClass	pass
VariabilityTypeComp	pass

ModelicaCompliance.Classes.Enumeration (19/20)

Test	Status
EnumAttributeScope	pass
EnumDuplicateLiteral	fail
EnumFixedAsLiteral	pass
EnumMaxAsLiteral	pass
EnumMinAsLiteral	pass
EnumQuantityAsLiteral	pass
EnumScope	pass
EnumSimple	pass
EnumStartAsLiteral	pass
EnumUnspecified	pass
GoodConversion1	pass
GoodConversion2	pass
WrongConversion1	pass
WrongConversion2	pass
WrongConversion3	pass
WrongConversion4	pass
WrongConversion5	pass
WrongConversion6	pass
WrongType1	pass
WrongType2	pass

ModelicaCompliance.Classes.Predefined (16/23)

Test	Status
AttributesBooleanInvalid	pass
AttributesBoolean	pass
AttributesEnumInvalid	pass
AttributesEnum	pass
AttributesIntegerInvalid	pass
AttributesInteger	pass
AttributesRealInvalid	pass
AttributesReal	pass
AttributesStringInvalid	pass
AttributesString	pass
AttributeStateSelect	pass
ReservedBooleanClass	pass
ReservedBooleanComp	fail
ReservedExternalObjectClass	fail
ReservedExternalObjectComp	fail
ReservedIntegerClass	pass
ReservedIntegerComp	fail
ReservedRealClass	pass
ReservedRealComp	fail
ReservedStateSelectClass	pass
ReservedStateSelectComp	fail
ReservedStringClass	pass
ReservedStringComp	fail

ModelicaCompliance.Classes.Specialized (18/35)

Test	Status
BlockInputOutput	pass
BlockNoDirection	fail
ConnectorAlgorithm	pass
ConnectorEquation	pass
ConnectorInitialAlgorithm	fail
ConnectorInitialEquation	pass
ConnectorInner	fail
ConnectorOuter	fail
ConnectorProtected	fail
OperatorConstant	pass
OperatorEnclosingExtends	pass
OperatorFunctionEnclosingExtends	pass
OperatorModel	pass
OperatorRecordAlgorithm	pass
OperatorRecordEnclosingExtends	fail
OperatorRecordEquation	pass
OperatorRecordInitialAlgorithm	fail
OperatorRecordInitialEquation	pass
OperatorRecordLongExtends	fail
OperatorRecordProtected	fail
OperatorRecordShortExtends	pass
PackageDiscrete	pass
PackageParameter	pass
PackageVariable	pass
RecordAlgorithm	pass
RecordEquation	pass
RecordFlow	fail
RecordInitialAlgorithm	fail
RecordInitialEquation	pass
RecordInner	fail
RecordInput	fail
RecordOuter	fail
RecordOutput	fail
RecordProtected	fail
RecordStream	fail

ModelicaCompliance.Components.Conditional (11/18)

Test	Status
CompRemovalBalancedParam	pass
CompRemovalBalanced	pass
CompRemovalUnbalancedParam	pass
CompRemovalUnbalanced	pass
ConstantConditionDecl	pass
InvalidUsageAlgorithm	fail
InvalidUsageEquation	fail
InvalidUsageFunCall	fail
InvalidUsageLookup	fail
InvalidUsageModifier	fail
ModifiedCompFalseCondition	pass
ModifiedCompTrueCondition	pass
ModifiedConditionBalanced	pass
ModifiedConditionUnbalanced	pass
NonBooleanCondition	fail
NonParamCondition	pass
NonScalarCondition	fail
ParameterConditionDecl	pass

ModelicaCompliance.Components.Declarations (8/12)

Test	Status
BasicDeclarationMulti	pass
BasicDeclarationSingle	pass
CyclicBindingArraySize	pass
CyclicBindingConstantSelf	fail
CyclicBindingConstants	pass
CyclicBindingParameterSelf	fail
CyclicBindingParameters	pass
DeclarationOrder	pass
DoubleDeclarationComps	fail
DoubleDeclarationMixed	fail
PartialInstance	pass
QuotedIdentifiers	pass

ModelicaCompliance.Components.Declarations.TypeNameAsComponentName (0/1)

Test	Status
TypeNameAsComponentName	fail

ModelicaCompliance.Components.Prefixes (29/38)

Test	Status
ConstantInvalidClassType	fail
ConstantValidClassType	pass
DiscreteInvalidClassType	fail
DiscreteValidClassType	pass
FlowInvalidClassType1	fail
FlowInvalidClassType2	pass
FlowNonReal	pass
FlowReal	pass
FlowStructured	pass
FlowValidClassType	pass
FunctionalInput	fail
InputInvalidClassType	fail
InputValidClassType	pass
OutputInvalidClassType	fail
OutputValidClassType	pass
ParameterInvalidClassType	fail
ParameterValidClassType	pass
PrefixConflictFlowFlow1	pass
PrefixConflictFlowFlow2	pass
PrefixConflictFlowFlowShort	pass
PrefixConflictFlowStream	pass
PrefixConflictFlowStreamShort	pass
PrefixConflictInputInput	pass
PrefixConflictInputInputShort	pass
PrefixConflictInputOutput	pass
PrefixConflictInputOutputShort	pass
PrefixConflictMixed	pass
PrefixConflictOutputInput	pass
PrefixConflictOutputInputShort	pass
PrefixConflictOutputOutput	pass
PrefixConflictOutputOutputShort	pass
PrefixConflictStream	pass
PrefixConflictStreamShort	pass
StreamInvalidClassType	fail
StreamNonReal	pass
StreamReal	pass
StreamStructured	fail
StreamValidClassType	pass

ModelicaCompliance.Components.Time (3/5)

Test	Status
TimeConnector	fail
TimeFunction	pass
TimeRecord	fail
Time	pass
TimeScope	pass

ModelicaCompliance.Components.Variability (19/23)

Test	Status
ConstantBindingModifier	pass
ConstantFunction	pass
ConstantNoBinding	pass
ConstantSimpleExpressions	pass
ContinuousSimpleExpressions	pass
DiscreteFunction	pass
DiscreteNotWhenAssignment	fail
DiscreteSimpleExpressions	pass
DiscreteSubCompBlock	fail
DiscreteSubCompModel	fail
DiscreteWhenAssignment	pass
NonConstantFunction	pass
NonDiscreteFunction	fail
NonParameterFunction	pass
ParameterFunction	pass
ParameterSimpleExpressions	pass
VariabilityConflictConstantCont	pass
VariabilityConflictConstantDisc	pass
VariabilityConflictConstantParam	pass
VariabilityConflictParameterCont	pass
VariabilityConflictParameterDisc	pass
VariabilityStructured1	pass
VariabilityStructured2	pass

ModelicaCompliance.Connections.Declarations (12/16)

Test	Status
ArrayEquations	pass
ConnectArraysIncompatible	pass
ConnectArrays	pass
ConnectInNonParametricIf	pass
ConnectInvalidForm	fail
ConnectInWhen	pass
ConnectNonParamSubscript	pass
ConnectParamSubscript	pass
ConnectWholeDim	pass
OperatorRecordEquations	pass
OperatorRecordMissingAddition	fail
OperatorRecordMissingNegation	fail
OperatorRecordMissingZero	fail
SimpleEquations	pass
UnconnectedFlow	pass
UnconnectedInsideFlow	pass

ModelicaCompliance.Connections.Expandable (10/17)

Test	Status
AugmentArrayElement	fail
AugmentArray	pass
AugmentComplex	fail
AugmentNonEmpty	pass
AugmentScalar	pass
ConnectDisjointExpandables	pass
ConnectNonExpandable	pass
ConnectTwoUndeclared	pass
FlowInConnectorInExpandable	fail
FlowInExpandable	fail
InputVariable	pass
MissingNonInput	fail
NonConnectorInExpandable	pass
NonPresentInExp	pass
PotentiallyPresentMod	fail
PresentInExp	pass
UnknownArrayDimensions	fail

ModelicaCompliance.Connections.Overconstrained (9/15)

Test	Status
BranchInAlgorithm	pass
BranchInNonParametricIf	pass
BranchInWhen	pass
IsRoot	fail
OverconstrainedConnector	fail
PotentialRootInAlgorithm	pass
PotentialRootInNonParametricIf	pass
PotentialRootInWhen	pass
PotentialRootPriority	fail
PotentialRoot	fail
Rooted	fail
RootInAlgorithm	pass
RootInNonParametricIf	pass
RootInWhen	pass
Root	fail

ModelicaCompliance.Connections.Restrictions (18/30)

Test	Status
ConnectConstantsDiff	pass
ConnectConstants	pass
ConnectMismatchCausal	fail
ConnectMismatchConstant	pass
ConnectMismatchConstParam	fail
ConnectMismatchFlow	pass
ConnectMismatchParameter	fail
ConnectMismatchSimpleType	pass
ConnectNonConnector	fail
ConnectorConstant	pass
ConnectorParameter	fail
ConnectParametersDiff	pass
ConnectParameters	pass
ConnectTwoInsideOutput	fail
ConnectTwoOuter	pass
ConnectTwoOutsideInput	fail
ConnectTwoSignalSourcesIndirect	fail
ConnectTwoSignalSources	fail
SizeArrayInvalid	pass
SizeArrayValid	pass
SizeNestedInvalid	pass
SizeNestedValid	pass
SizeOverconstrainedInvalid	pass
SizeOverconstrainedValid	fail
SizeRecordInvalid	fail
SizeRecordValid	pass
SizeScalarInvalid	fail
SizeScalarInvalidShort	pass
SizeScalarValid	pass
SizeScalarValidShort	pass

ModelicaCompliance.Connections.Stream (8/9)

Test	Status
ActualStreamNonStream	pass
ActualStreamSimple	pass
InStreamNonStream	pass
InStreamPipeline	pass
InStreamTwoInside	pass
StreamConnectorMissingFlow	pass
StreamConnectorMultiFlow	pass
StreamConnector	pass
StreamOutsideConnector	fail

ModelicaCompliance.Equations.Assert (10/11)

Test	Status
AssertDiffLevel	pass
AssertError	pass
AssertFalseExp	pass
AssertFalse	pass
AssertNoEval	pass
AssertNonBoolCond	pass
AssertNonStringMsg	pass
AssertTrueExp	pass
AssertTrue	pass
AssertVarLevel	fail
AssertWarning	pass

ModelicaCompliance.Equations.Equality (6/7)

Test	Status
ComplexEquality	pass
IfEquality	pass
MultiOutputEqualityLess	fail
MultiOutputEqualityMore	pass
MultiOutputEqualityOmitted	pass
MultiOutputEquality	pass
SimpleEquality	pass

ModelicaCompliance.Equations.For (23/27)

Test	Status
ArrayRangeExp	pass
ArrayRange	fail
BoolRange	pass
BoolTypeRange	pass
EnumRange	pass
EnumTypeRange	pass
ImplicitBoolIterator	fail
ImplicitEnumIterator	fail
ImplicitIntegerIterator	pass
ImplicitIteratorEqRange	pass
ImplicitIteratorNeqRange	pass
ImplicitIteratorNonSub	pass
ImplicitMultiIterator	pass
ImplicitMultiMixedIterator	fail
IntegerRange	pass
IteratorScope	pass
MixedImplExplIterator	pass
MultiEq	pass
MultiIterator	pass
NestedLoops	pass
RangeScope	pass
RealRange	pass
ScalarRange	pass
ShadowedIterator	pass
SingleIterator	pass
StringRange	pass
VariableRange	pass

ModelicaCompliance.Equations.If (15/16)

Test	Status
BranchEvaluation	pass
EvaluationOrder	fail
MultipleBranchesMultipleMatching	pass
MultipleBranchesNoneMatchingElse	pass
MultipleBranchesNoneMatching	pass
NonBooleanCondition	pass
NonScalarCondition	pass
SingleBranchEmpty	pass
SingleBranch	pass
TwoBranchesElseSelectFirst	pass
TwoBranchesElseSelectSecond	pass
TwoBranchesNoElseSelectFirst	pass
TwoBranchesNoElseSelectSecond	pass
VarConditionDiffEqCount	pass
VarConditionNoElse	pass
VarConditionSameEqCount	pass

ModelicaCompliance.Equations.Reinit (4/4)

Test	Status
ReinitInvalidType1	pass
ReinitInvalidType2	pass
ReinitInvalidType3	pass
Reinit	pass

ModelicaCompliance.Equations.Terminate (1/1)

Test	Status
Terminate	pass

ModelicaCompliance.Equations.When (8/8)

Test	Status
ElseWhenNestedEquation	pass
ElseWhen	pass
NestedWhenEquation	pass
WhenEquationInvalid	pass
WhenEquationOrderNoMatter	pass
WhenEquation	pass
WhenPriority	pass
WhenVectorExpression	pass

ModelicaCompliance.Functions.Calls (10/11)

Test	Status
CallDefaultArguments	pass
CallEmptyResult	pass
CallMultiResultsAssignment	pass
CallMultiResults	pass
CallMultiResultsWithOmittedOutput1	pass
CallMultiResultsWithOmittedOutput	fail
CallNamedAndPositionalArguments	pass
CallNamedArgumentsAssignment	pass
CallNamedArguments	pass
CallPositionalArgumentsAssignment	pass
CallPositionalArguments	pass

ModelicaCompliance.Functions.Calls.Vectorization (5/5)

Test	Status
VectorizationMultidim	pass
VectorizationMultiInputIllegal	pass
VectorizationMultiInput	pass
VectorizationMultiOutput	pass
VectorizationSimple	pass

ModelicaCompliance.Functions.Declarations (7/7)

Test	Status
Default	pass
Empty	pass
Illegal1	pass
Illegal2	pass
Inherit	pass
Local	pass
Order	pass

ModelicaCompliance.Functions.Derivative (1/2)

Test	Status
Derivative	pass
PartialDerivative	fail

ModelicaCompliance.Functions.External (8/8)

Test	Status
Builtin	pass
CDefault	pass
CMapping1	pass
CMapping2	pass
CMapping3	pass
CMappingWrong1	pass
C	pass
FortranLapack	pass

ModelicaCompliance.Functions.ExternalObjects (1/1)

Test	Status
ExternalObjectTable	pass

ModelicaCompliance.Functions.HigherOrder (2/5)

Test	Status
PartialApplication1	pass
PartialApplication2	pass
PartialApplication3	fail
Quadrature1	fail
Quadrature2	fail

ModelicaCompliance.Functions.Inverse (1/1)

Test	Status
InverseSimple	pass

ModelicaCompliance.Functions.Records (4/4)

Test	Status
RecordConstructorConstantModifiable	pass
RecordConstructorDefaultValueDependent	pass
RecordConstructorDefaultValue	pass
RecordConstructorWithRecordInput	pass

ModelicaCompliance.Functions.Restrictions (8/12)

Test	Status
FunctionAssignInput	pass
FunctionBlock	pass
FunctionEquations	pass
FunctionInitialAlgorithm	pass
FunctionInitialEquations	pass
FunctionInnerOuter	fail
FunctionModel	pass
FunctionMultipleAlgorithm	fail
FunctionProtectedArguments	pass
FunctionPublicElements	fail
PartialExternalFunction	pass
PartialFunction	fail

ModelicaCompliance.Inheritance.Flattening (11/15)

Test	Status
BaseClassWithReplaceableElement	pass
BasicInheritance	pass
DuplicateInheritedEqClasses	pass
DuplicateInheritedEqComps	pass
DuplicateInheritedNeqClasses	fail
DuplicateInheritedNeqComps	pass
InheritanceScoping	fail
InheritanceSections	pass
InheritedBaseClass	pass
MultiLevelInheritance	pass
MultipleInheritance	pass
ProtectedInheritance	fail
ReplaceableBaseClass	fail
ReplacedBaseClass	pass
VisibilityHeadingInheritance	pass

ModelicaCompliance.Inheritance.Restrictions (17/48)

Test	Status
ArrayClassWithComp	fail
ArrayClassWithExtends	fail
BaseClassKindBlockBlock	pass
BaseClassKindBlockConnector	fail
BaseClassKindBlockFunction	fail
BaseClassKindBlockModel	fail
BaseClassKindBlockPackage	fail
BaseClassKindBlockRecord	pass
BaseClassKindBlockType	fail
BaseClassKindConnectorBlock	fail
BaseClassKindConnectorConnector	pass
BaseClassKindConnectorFunction	pass
BaseClassKindConnectorModel	fail
BaseClassKindConnectorPackage	fail
BaseClassKindConnectorRecord	pass
BaseClassKindConnectorType	pass
BaseClassKindFunctionBlock	fail
BaseClassKindFunctionConnector	fail
BaseClassKindFunctionFunction	pass
BaseClassKindFunctionModel	fail
BaseClassKindFunctionPackage	fail
BaseClassKindFunctionRecord	fail
BaseClassKindFunctionType	fail
BaseClassKindModelBlock	pass
BaseClassKindModelConnector	fail
BaseClassKindModelFunction	fail
BaseClassKindModelModel	pass
BaseClassKindModelPackage	fail
BaseClassKindModelRecord	pass
BaseClassKindModelType	pass
BaseClassKindPackageBlock	fail
BaseClassKindPackageConnector	fail
BaseClassKindPackageFunction	pass
BaseClassKindPackageModel	fail
BaseClassKindPackagePackage	pass
BaseClassKindPackageRecord	fail
BaseClassKindPackageType	pass
BaseClassKindRecordBlock	fail
BaseClassKindRecordConnector	fail
BaseClassKindRecordFunction	pass
BaseClassKindRecordModel	fail
BaseClassKindRecordPackage	fail
BaseClassKindRecordRecord	pass
BaseClassKindRecordType	pass
PrefixedClassWithComp	fail
PrefixedClassWithExtends	fail
SimpleTypeWithComp	fail
SimpleTypeWithExtends	fail

ModelicaCompliance.Modification.Flattening (3/5)

Test	Status
Array	pass
Complicated	fail
Merging1	pass
Merging2	fail
Simple	pass

ModelicaCompliance.Modification.Restrictions (3/6)

Test	Status
Duplicated	pass
FinalGood	pass
FinalWrongRecord	fail
FinalWrong	fail
FinalWrongType	fail
MultipleSingle	pass

ModelicaCompliance.Operators.Arithmetic (12/12)

Test	Status
AddIntegers	pass
AddLargeStrings	pass
AddReal	pass
DivideIntegers	pass
DivideReal	pass
ExponentIntegers	pass
ExponentReal	pass
MultiplyIntegers	pass
MultiplyReal	pass
StringConcatenation	pass
SubtractIntegers	pass
SubtractReal	pass

ModelicaCompliance.Operators.Associativity (3/3)

Test	Status
AdditionAndSubtraction	pass
Division	pass
Subtraction	pass

ModelicaCompliance.Operators.Conversion (8/8)

Test	Status
BooleanToString	pass
EnumToIntegerExp	pass
EnumToInteger	pass
EnumToStringExp	pass
EnumToString	pass
IntegerToString	pass
RealToInteger	pass
RealToString	pass

ModelicaCompliance.Operators.Events (11/11)

Test	Status
ChangeEmptyArray	pass
Change	pass
Edge	pass
Initial	pass
NoEvent	pass
Pre	pass
SampleIncorrect	pass
Sample	pass
Smooth	pass
TerminalIncorrect	pass
Terminal	pass

ModelicaCompliance.Operators.If (1/1)

Test	Status
IfExpression	pass

ModelicaCompliance.Operators.Logical (3/3)

Test	Status
LogicalAnd	pass
LogicalNot	pass
LogicalOr	pass

ModelicaCompliance.Operators.Mathematical (34/34)

Test	Status
AbsBooleanIncorrect	pass
AbsIntegerAndRealExpression	pass
AcosIncorrect1	pass
AcosIncorrect2	pass
Acos	pass
AsinIncorrect1	pass
AsinIncorrect2	pass
Asin	pass
Atan2	pass
Atan	pass
Ceil	pass
Cosh	pass
Cos	pass
DivInteger	pass
DivReal	pass
Exp	pass
Floor	pass
Log10Incorrect	pass
Log10	pass
LogIncorrect	pass
Log	pass
ModInteger	pass
ModReal	pass
RemInteger	pass
RemReal	pass
SignBooleanIncorrect	pass
SignRealAndIntegerExpression	pass
Sinh	pass
Sin	pass
SqrtIntegerArgument	pass
SqrtNegativeExpressionIncorrect	pass
SqrtRealArgument	pass
Tanh	pass
Tan	pass

ModelicaCompliance.Operators.Overloading (6/16)

Test	Status
BinaryOperatorOverloadVectorization	fail
ConstructorAmbiguous	pass
ConstructorNumberOfOutputs	fail
ConstructorPriority	pass
ConstructorSimpleValid	pass
ConstructorTypeOfOutput	pass
ExactMatchArrayOverload	fail
ImplicitConstructionAndBinaryOp	fail
NegationSubtractionOverload	fail
OverloadedAdditionValid	fail
OverloadedBinaryNumberOfInputs	pass
OverloadedLogicalOperation	fail
OverloadedRelationalOperation	fail
OverloadedString	fail
OverloadedStringTypeOfOutput	pass
VectorizeConstructAndApply	fail

ModelicaCompliance.Operators.Precedence (5/5)

Test	Status
ArithmeticPrecedence	pass
ConditionalPrecedence	pass
LogicPrecedence	pass
RangePrecedence	pass
RelationalPrecedence	pass

ModelicaCompliance.Operators.Relational (5/5)

Test	Status
Equals	pass
GreaterThanEqual	pass
GreaterThan	pass
LessThanEqual	pass
LessThan	pass

ModelicaCompliance.Operators.Special (7/11)

Test	Status
CardinalityNonConnector	fail
Cardinality	pass
DelayIncorrect1	pass
DelayIncorrect2	pass
DelayIncorrect3	fail
Delay	pass
DerConstantIncorrect1	fail
DerConstantIncorrect2	fail
DerConstant	pass
Homotopy	pass
SemiLinear	pass

ModelicaCompliance.Packages (1/1)

Test	Status
BOM	pass

ModelicaCompliance.Redeclare.ClassExtends (5/8)

Test	Status
ClassExtendsChain	pass
ClassExtendsClassTypes	pass
ClassExtendsMod	pass
ClassExtendsNonReplaceable	fail
ClassExtends	pass
NonRedeclareClassExtends	fail
RedeclareClassExtends	pass
ReplaceableNotInherited	fail

ModelicaCompliance.Redeclare.ConstrainingType (8/21)

Test	Status
ConstrainingMod	pass
ConstrainingModWithRedecl	pass
ConstrainingTypeDimsClass	pass
ConstrainingTypeDimsComponent	pass
ConstrainingType	pass
ConstrainingTypeWrongDimsClass	fail
ConstrainingTypeWrongDimsComponent	fail
ImplConstrainingModWithRedecl	pass
RedeclareConstrainingTypeClass	fail
RedeclareConstrainingTypeComponent	fail
RedeclareConstrainingTypeMod	pass
RedeclareConstrainingTypeSubtype	fail
RedeclareMod	fail
RedeclareNonSubtypeClassImpl	fail
RedeclareNonSubtypeClass	fail
RedeclareNonSubtypeComponentImpl	fail
RedeclareNonSubtypeComponent	fail
ReplaceableModWithRedecl	pass
ReplaceableNonSubtypeComponent	fail
ReplaceableNonSubtypeLongClass	fail
ReplaceableNonSubtypeShortClass	fail

ModelicaCompliance.Redeclare.Flattening (6/15)

Test	Status
BasicBindingRedeclare	fail
InheritanceDimensionClass	pass
InheritanceDimensionComp	fail
InheritanceDirection	fail
InheritanceFlow	fail
InheritanceInnerOuterComp	fail
InheritanceProtectedClass	fail
InheritanceProtectedComp	pass
InheritancePublicClass	pass
InheritancePublicComp	fail
InheritanceStream	pass
InheritanceVariabilityConst	pass
InheritanceVariabilityParam	fail
InheritanceVisibilityComp	pass
ReplaceableAsRedeclare	fail

ModelicaCompliance.Redeclare.Restrictions (8/12)

Test	Status
ArrayDimRedeclare	fail
ConstantRedeclareElement	pass
ConstantRedeclareModifier	pass
DoubleRedeclareWithoutReplaceable	pass
FinalRedeclareElementClass	fail
FinalRedeclareElementComp	pass
FinalRedeclareModifierClass	pass
FinalRedeclareModifierComp	pass
ProtectedToPublicRedeclareClass	fail
ProtectedToPublicRedeclareComp	pass
PublicToProtectedRedeclareClass	fail
PublicToProtectedRedeclareComp	pass

ModelicaCompliance.Scoping.InnerOuter (12/27)

Test	Status
Array1	pass
Array2	fail
Array3	fail
Array4	fail
Array5	fail
Array6	pass
ComplicatedNameLookup	pass
DifferentPrefixes	pass
Enumeration	pass
EnumerationWrong	pass
FunctionSelection	fail
MissingInnerAdded	fail
MissingInner	fail
ModificationOnOuter1	fail
ModificationOnOuter2	fail
ModificationOnOuter3	fail
MultipleInnerMultipleOuter	fail
Nested	fail
OuterInPackage	fail
PartialInner	pass
PartialOuter	pass
PartialOuterWrong	fail
Record	pass
RecordWrong	pass
SimpleNameLookup	pass
SimultaneousDeclarations	pass
WrongSubType	fail

ModelicaCompliance.Scoping.MemberAccess (6/6)

Test	Status
AccessAlgorithm	pass
AccessEquation	pass
AccessMissingAlgorithm	pass
AccessMissingEquation	pass
AccessNestedAlgorithm	pass
AccessNestedEquation	pass

ModelicaCompliance.Scoping.NameLookup.Composite (13/16)

Test	Status
FunctionInOperatorLookupViaComp	pass
FunctionLookupViaArrayComp	fail
FunctionLookupViaArrayElement	pass
FunctionLookupViaClassComp	pass
FunctionLookupViaCompNonCall	pass
FunctionLookupViaComp	pass
FunctionLookupViaNonClassComp	pass
NestedCompLookup	pass
NonFunctionLookupViaComp	pass
NonPackageLookupComp	pass
NonPackageLookupEncapsulated	pass
NonPackageLookupNonEncapsulated	fail
OperatorFunctionLookupViaComp	pass
PackageLookupClass	pass
PackageLookupConstant	pass
PartialClassLookup	fail

ModelicaCompliance.Scoping.NameLookup.Global (6/9)

Test	Status
EncapsulatedGlobalLookup	pass
EncapsulatedLookupClass	pass
GlobalLookupEncapsulatedElement	pass
GlobalLookupNonEncapsulatedElement	fail
GlobalPartialClass	fail
LocalNameGlobalLookup	pass
NonExistingGlobalName	pass
NonPackageLikeClassLookup	fail
PackageLikeClassLookup	pass

ModelicaCompliance.Scoping.NameLookup.Imports (14/20)

Test	Status
EncapsulatedImport	pass
ExtendImport	pass
ImportLookupLocalScope	pass
ImportScopeType	pass
ModifyImport	pass
QualifiedImportConflict	fail
QualifiedImportNonPackage	fail
QualifiedImportProtected	fail
QualifiedImport	pass
Recursive	pass
RedeclareImport	pass
RenamingImportNonPackage	fail
RenamingImport	pass
RenamingSingleDefinitionImport	pass
SingleDefinitionImport	pass
UnqualifiedImportConflict	pass
UnqualifiedImportNonConflict	pass
UnqualifiedImportNonPackage	fail
UnqualifiedImportProtected	fail
UnqualifiedImport	pass

ModelicaCompliance.Scoping.NameLookup.Simple (11/13)

Test	Status
Encapsulation	pass
EnclosingClassLookupClass	pass
EnclosingClassLookupConstant	pass
EnclosingClassLookupNonConstant	pass
EnclosingClassLookupShadowedConstant	pass
ImplicitShadowingFor	pass
ImplicitShadowingReduction	pass
LocalClassNameLookup	pass
LocalCompNameLookup	pass
OutsideEncapsulationMulti	fail
OutsideEncapsulation	fail
QualifiedImportPriority	pass
UnqualifiedImportPriority	pass

ModelicaCompliance.Scoping.Visibility (14/28)

Test	Status
AccessInheritedProtectedClassInvalid	fail
AccessInheritedProtectedCompInvalid	fail
AccessProtectedClassClass	fail
AccessProtectedClassComp	fail
AccessProtectedClass	fail
AccessProtectedCompClass	fail
AccessProtectedCompComp	fail
AccessProtectedComp	fail
EnclosingAccessProtectedClass	pass
EnclosingAccessProtectedComp	pass
InheritedAccessProtectedClass	pass
InheritedAccessProtectedComp	pass
LocalAccessProtectedClass	pass
LocalAccessProtectedComp	pass
ModifyInheritedProtectedClass	pass
ModifyInheritedProtectedComp	pass
ModifyProtectedClassDeclaration	pass
ModifyProtectedClass	fail
ModifyProtectedCompDeclaration	pass
ModifyProtectedComp	fail
ProtectedMultiClass	fail
ProtectedMultiComp	fail
PublicSectionClass	pass
PublicSectionComp	pass
RedeclareInheritedProtectedClass	pass
RedeclareInheritedProtectedComp	fail
RedeclareProtectedClass	fail
RedeclareProtectedComp	pass