omc 1.9.0 beta4+dev (r17146) compliance suite 3.2.2.0

Summary: 753/1007 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 (5/6)

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

ModelicaCompliance.Algorithms.Break (1/1)

Test Status
Break pass

ModelicaCompliance.Algorithms.For (20/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 fail

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 (5/7)

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

ModelicaCompliance.Algorithms.While (3/3)

Test Status
WhileNonBooleanCondition pass
WhileNonScalarCondition pass
WhileStatement pass

ModelicaCompliance.Arrays.Declarations (17/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 fail
EnumArray fail
EnumMixedArray fail

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 (18/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 fail
EnumArrayInvalidIndexing fail
EnumMixedArrayIndexing fail

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 (3/6)

Test Status
CorrectBalance1 fail
CorrectBalance2 fail
CorrectBalance3 pass
CorrectBalance4 fail
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 (20/20)

Test Status
EnumAttributeScope pass
EnumDuplicateLiteral pass
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 (19/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 pass
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 (10/12)

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

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

Test Status
TypeNameAsComponentName pass

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 (11/16)

Test Status
ArrayEquations pass
ConnectArraysIncompatible pass
ConnectArrays fail
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 (9/17)

Test Status
AugmentArrayElement fail
AugmentArray fail
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 (10/15)

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

ModelicaCompliance.Connections.Restrictions (19/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 pass
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 (5/7)

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

ModelicaCompliance.Equations.For (21/27)

Test Status
ArrayRangeExp pass
ArrayRange fail
BoolRange fail
BoolTypeRange fail
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 (3/4)

Test Status
ReinitInvalidType1 pass
ReinitInvalidType2 pass
ReinitInvalidType3 pass
Reinit fail

ModelicaCompliance.Equations.Terminate (1/1)

Test Status
Terminate pass

ModelicaCompliance.Equations.When (6/8)

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

ModelicaCompliance.Functions.Calls (11/11)

Test Status
CallDefaultArguments pass
CallEmptyResult pass
CallMultiResultsAssignment pass
CallMultiResults pass
CallMultiResultsWithOmittedOutput1 pass
CallMultiResultsWithOmittedOutput pass
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 (6/8)

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

ModelicaCompliance.Functions.ExternalObjects (0/1)

Test Status
ExternalObjectTable fail

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 (3/4)

Test Status
RecordConstructorConstantModifiable pass
RecordConstructorDefaultValueDependent pass
RecordConstructorDefaultValue pass
RecordConstructorWithRecordInput fail

ModelicaCompliance.Functions.Restrictions (9/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 pass

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 (2/4)

Test Status
Duplicated pass
FinalGood pass
FinalWrong fail
MultipleSingle fail

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 (13/17)

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

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 (5/11)

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

ModelicaCompliance.Packages (1/1)

Test Status
BOM pass

ModelicaCompliance.Redeclare.ClassExtends (4/8)

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

ModelicaCompliance.Redeclare.ConstrainingType (4/21)

Test Status
ConstrainingMod fail
ConstrainingModWithRedecl fail
ConstrainingTypeDimsClass pass
ConstrainingTypeDimsComponent pass
ConstrainingType pass
ConstrainingTypeWrongDimsClass fail
ConstrainingTypeWrongDimsComponent fail
ImplConstrainingModWithRedecl pass
RedeclareConstrainingTypeClass fail
RedeclareConstrainingTypeComponent fail
RedeclareConstrainingTypeMod fail
RedeclareConstrainingTypeSubtype fail
RedeclareMod fail
RedeclareNonSubtypeClassImpl fail
RedeclareNonSubtypeClass fail
RedeclareNonSubtypeComponentImpl fail
RedeclareNonSubtypeComponent fail
ReplaceableModWithRedecl fail
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 (11/27)

Test Status
Array1 pass
Array2 fail
Array3 fail
Array4 fail
Array5 fail
Array6 pass
ComplicatedNameLookup pass
DifferentPrefixes fail
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 (12/15)

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

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

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

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

Test Status
EncapsulatedImport pass
ExtendImport pass
ImportLookupLocalScope pass
ImportScopeType pass
ModifyImport pass
QualifiedImportConflict pass
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