omc OMCompiler v1.13.0-dev.798+g1c8bb86de compliance suite 3.2

Summary: 435/1033 succeeded

ModelicaCompliance (0/1)

Test	Status
Template	fail

ModelicaCompliance.Algorithms.Assert (7/11)

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

ModelicaCompliance.Algorithms.Assignment (1/6)

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

ModelicaCompliance.Algorithms.Break (2/5)

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

ModelicaCompliance.Algorithms.For (7/28)

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

ModelicaCompliance.Algorithms.If (2/13)

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

ModelicaCompliance.Algorithms.Return (1/2)

Test	Status
ReturnInvalid	pass
Return	fail

ModelicaCompliance.Algorithms.Terminate (0/1)

Test	Status
Terminate	fail

ModelicaCompliance.Algorithms.When (2/7)

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

ModelicaCompliance.Algorithms.While (2/3)

Test	Status
WhileNonBooleanCondition	pass
WhileNonScalarCondition	pass
WhileStatement	fail

ModelicaCompliance.Arrays.Declarations (4/23)

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

ModelicaCompliance.Arrays.Flexible (0/1)

Test	Status
ArrayFlexible	fail

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

Test	Status
Cross	fail
OuterProduct	fail
Skew	fail
Symmetric	fail
Transpose1	fail

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

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

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

Test	Status
DimConversionMatrix	fail
DimConversionScalar	fail
DimConversionVector	fail

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

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

ModelicaCompliance.Arrays.Functions.Size (3/7)

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

ModelicaCompliance.Arrays.Indexing (1/21)

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

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

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

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

Test	Status
ArrayAssignment	fail

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

Test	Status
ArrayEquality	fail

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

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

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

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

ModelicaCompliance.Classes.Balancing (1/6)

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

ModelicaCompliance.Classes.Declarations (1/1)

Test	Status
PartialSimulationModel	pass

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

Test	Status
ClassSections	fail

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

Test	Status
?abfnrtv	fail

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

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

ModelicaCompliance.Classes.Enumeration (16/20)

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

ModelicaCompliance.Classes.Predefined (19/25)

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

ModelicaCompliance.Classes.Predefined.ReservedClass (4/4)

Test	Status
Boolean	pass
Integer	pass
Real	pass
String	pass

ModelicaCompliance.Classes.Specialized (31/33)

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

ModelicaCompliance.Components.Conditional (11/18)

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

ModelicaCompliance.Components.Declarations (8/12)

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

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

Test	Status
TypeNameAsComponentName	pass

ModelicaCompliance.Components.Prefixes (26/38)

Test	Status
ConstantInvalidClassType	pass
ConstantValidClassType	fail
DiscreteInvalidClassType	pass
DiscreteValidClassType	fail
FlowInvalidClassType1	pass
FlowInvalidClassType2	pass
FlowNonReal	pass
FlowReal	fail
FlowStructured	fail
FlowValidClassType	fail
FunctionalInput	fail
InputInvalidClassType	pass
InputValidClassType	fail
OutputInvalidClassType	pass
OutputValidClassType	fail
ParameterInvalidClassType	pass
ParameterValidClassType	fail
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	pass
StreamNonReal	pass
StreamReal	fail
StreamStructured	fail
StreamValidClassType	fail

ModelicaCompliance.Components.Time (3/5)

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

ModelicaCompliance.Components.Variability (12/23)

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

ModelicaCompliance.Connections.Declarations (9/16)

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

ModelicaCompliance.Connections.Expandable (6/17)

Test	Status
AugmentArrayElement	fail
AugmentArray	fail
AugmentComplex	fail
AugmentNonEmpty	fail
AugmentScalar	fail
ConnectDisjointExpandables	fail
ConnectNonExpandable	pass
ConnectTwoUndeclared	pass
FlowInConnectorInExpandable	fail
FlowInExpandable	pass
InputVariable	fail
MissingNonInput	pass
NonConnectorInExpandable	fail
NonPresentInExp	pass
PotentiallyPresentMod	pass
PresentInExp	fail
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 (21/30)

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

ModelicaCompliance.Connections.Stream (5/9)

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

ModelicaCompliance.Equations.Assert (7/11)

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

ModelicaCompliance.Equations.Equality (1/7)

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

ModelicaCompliance.Equations.For (7/27)

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

ModelicaCompliance.Equations.If (4/16)

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

ModelicaCompliance.Equations.Reinit (3/4)

Test	Status
ReinitInvalidType1	pass
ReinitInvalidType2	pass
ReinitInvalidType3	pass
Reinit	fail

ModelicaCompliance.Equations.Terminate (0/1)

Test	Status
Terminate	fail

ModelicaCompliance.Equations.When (3/9)

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

ModelicaCompliance.Functions.Calls (0/12)

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

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

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

ModelicaCompliance.Functions.Declarations (2/7)

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

ModelicaCompliance.Functions.Derivative (0/3)

Test	Status
Derivative	fail
NoDerivative	fail
PartialDerivative	fail

ModelicaCompliance.Functions.External (2/12)

Test	Status
Builtin	fail
CDefault	fail
CDifferentInclude	fail
CImpure	fail
CMapping1	fail
CMapping2	fail
CMapping3	fail
CMappingWrong1	pass
C	fail
FortranLapack	fail
ModelicaErrorFailing	pass
ModelicaErrorWorking	fail

ModelicaCompliance.Functions.ExternalObjects (0/2)

Test	Status
ExternalObjectTableInFunction	fail
ExternalObjectTable	fail

ModelicaCompliance.Functions.HigherOrder (0/5)

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

ModelicaCompliance.Functions.Inverse (0/1)

Test	Status
InverseSimple	fail

ModelicaCompliance.Functions.Records (0/4)

Test	Status
RecordConstructorConstantModifiable	fail
RecordConstructorDefaultValueDependent	fail
RecordConstructorDefaultValue	fail
RecordConstructorWithRecordInput	fail

ModelicaCompliance.Functions.Restrictions (12/12)

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

ModelicaCompliance.Inheritance.Flattening (6/15)

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

ModelicaCompliance.Inheritance.Restrictions (37/48)

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

ModelicaCompliance.Modification.Flattening (0/5)

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

ModelicaCompliance.Modification.Restrictions (5/7)

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

ModelicaCompliance.Operators.Arithmetic (2/12)

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

ModelicaCompliance.Operators.Associativity (0/3)

Test	Status
AdditionAndSubtraction	fail
Division	fail
Subtraction	fail

ModelicaCompliance.Operators.Conversion (0/8)

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

ModelicaCompliance.Operators.Events (2/11)

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

ModelicaCompliance.Operators.If (0/1)

Test	Status
IfExpression	fail

ModelicaCompliance.Operators.Logical (0/3)

Test	Status
LogicalAnd	fail
LogicalNot	fail
LogicalOr	fail

ModelicaCompliance.Operators.Mathematical (9/34)

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

ModelicaCompliance.Operators.Overloading (5/16)

Test	Status
BinaryOperatorOverloadVectorization	fail
ConstructorAmbiguous	pass
ConstructorNumberOfOutputs	pass
ConstructorPriority	fail
ConstructorSimpleValid	fail
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 (0/5)

Test	Status
ArithmeticPrecedence	fail
ConditionalPrecedence	fail
LogicPrecedence	fail
RangePrecedence	fail
RelationalPrecedence	fail

ModelicaCompliance.Operators.Relational (0/5)

Test	Status
Equals	fail
GreaterThanEqual	fail
GreaterThan	fail
LessThanEqual	fail
LessThan	fail

ModelicaCompliance.Operators.Special (6/11)

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

ModelicaCompliance.Packages (0/1)

Test	Status
BOM	fail

ModelicaCompliance.Redeclare.ClassExtends (2/8)

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

ModelicaCompliance.Redeclare.ConstrainingType (12/21)

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

ModelicaCompliance.Redeclare.Flattening (5/15)

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

ModelicaCompliance.Redeclare.Restrictions (11/12)

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

ModelicaCompliance.Scoping.InnerOuter (16/29)

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

ModelicaCompliance.Scoping.MemberAccess (2/6)

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

ModelicaCompliance.Scoping.NameLookup.Composite (8/14)

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

ModelicaCompliance.Scoping.NameLookup.Composite.FunctionInOperatorLookupViaComp (1/1)

Test	Status
FunctionInOperatorLookupViaComp	pass

ModelicaCompliance.Scoping.NameLookup.Composite.OperatorFunctionLookupViaComp (1/1)

Test	Status
OperatorFunctionLookupViaComp	pass

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

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

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

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

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

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

ModelicaCompliance.Scoping.Visibility (14/28)

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