omc 1.9.0 beta4+dev (r17123) compliance suite 3.2.2.0

Summary: 426/1007 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 (0/1)

Test Status
Break fail

ModelicaCompliance.Algorithms.For (8/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 pass

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

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

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

ModelicaCompliance.Arrays.Indexing (0/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 fail
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 (17/23)

Test Status
AttributesBooleanInvalid pass
AttributesBoolean fail
AttributesEnumInvalid pass
AttributesEnum fail
AttributesIntegerInvalid pass
AttributesInteger fail
AttributesRealInvalid pass
AttributesReal fail
AttributesStringInvalid pass
AttributesString fail
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.Specialized (32/35)

Test Status
BlockInputOutput fail
BlockNoDirection pass
ConnectorAlgorithm pass
ConnectorEquation pass
ConnectorInitialAlgorithm pass
ConnectorInitialEquation pass
ConnectorInner pass
ConnectorOuter pass
ConnectorProtected pass
OperatorConstant pass
OperatorEnclosingExtends pass
OperatorFunctionEnclosingExtends pass
OperatorModel pass
OperatorRecordAlgorithm pass
OperatorRecordEnclosingExtends pass
OperatorRecordEquation pass
OperatorRecordInitialAlgorithm pass
OperatorRecordInitialEquation pass
OperatorRecordLongExtends fail
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/8)

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

ModelicaCompliance.Functions.Calls (0/11)

Test Status
CallDefaultArguments fail
CallEmptyResult fail
CallMultiResultsAssignment fail
CallMultiResults fail
CallMultiResultsWithOmittedOutput1 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/2)

Test Status
Derivative fail
PartialDerivative fail

ModelicaCompliance.Functions.External (1/8)

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

ModelicaCompliance.Functions.ExternalObjects (0/1)

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

Test Status
Duplicated pass
FinalGood fail
FinalWrong 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/17)

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

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

ModelicaCompliance.Packages (0/1)

Test Status
BOM fail

ModelicaCompliance.Redeclare.ClassExtends (5/8)

Test Status
ClassExtendsChain pass
ClassExtendsClassTypes pass
ClassExtendsMod fail
ClassExtendsNonReplaceable pass
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 (15/27)

Test Status
Array1 fail
Array2 pass
Array3 pass
Array4 pass
Array5 pass
Array6 pass
ComplicatedNameLookup fail
DifferentPrefixes pass
Enumeration fail
EnumerationWrong pass
FunctionSelection fail
MissingInnerAdded fail
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/15)

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

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

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

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