Coverage Issues

This page is supposed to provide an overview of remaining issues for all tested libraries. Therefore, failing models can get grouped by issue and short analyses and existing tickets can be added to guide the bug-fixing process.

Library Index

• MSL (trunk)
• MSL 3.2.1

MSL (trunk)

The following models fail within runtime stage:

• Solving (non-)linear system failed during simulation:
  • ​Modelica.Electrical.Analog.Examples.OpAmps.Multivibrator
  • ​Modelica.Electrical.Analog.Examples.OpAmps.SignalGenerator
  • ​Modelica.Electrical.Spice3.Examples.Spice3BenchmarkDifferentialPair
  • ​Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.AIMC_DOL_MultiPhase
  • ​Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.SMEE_Generator_MultiPhase
    • ticket:3739
  • ​Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.InductionMachines.IMC_DOL
    • linear system failed
• Solving non-linear system failed during initialization:
  • ​Modelica.Fluid.Examples.Explanatory.MomentumBalanceFittings
    • While solving non-linear system an assertion failed during initialization.
  • ​Modelica.Fluid.Examples.HeatingSystem
    • While solving non-linear system an assertion failed during initialization.
    • ticket:3739

The following models fail due to alarm clock:

• ​Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMC_YD
• ​Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder
• ​Modelica.Fluid.Examples.IncompressibleFluidNetwork

The following models fail within (back end) initialization stage:

• ​Modelica.Magnetic.FluxTubes.Examples.Hysteresis.ThreePhaseTransformerWithRectifier
  • Initialization problem is structurally singular
  • ticket:3739
• ​Modelica.Mechanics.Rotational.Examples.GenerationOfFMUs
  • Error: The given system is mixed-determined. [index > 3]
  • ticket:3739

The following models fail within sim code/code generation stage:

• ​Modelica.Media.Examples.SolveOneNonlinearEquation.InverseIncompressible_sh_T
  • error: use of undeclared identifier '_poly_Cp'
• ​Modelica.Media.Incompressible.Examples.TestGlycol
  • error: use of undeclared identifier '_poly_Cp'
• ​Modelica.Utilities.Examples.ReadRealMatrixFromFile
  • [SimCodeUtil.mo:497:5-497:146:writable] Error: Internal error function createSimCode failed
  • ticket:3739

MSL 3.2.1

Following 5 models are missing for the full coverage of the cRuntime here.

• ​Modelica.Electrical.Machines.Examples.AsynchronousInductionMachines.AIMC_YD
  • fails with alarm clock
  • works in our testsuite, because omcTearing is used
  • IndexReduction seems okay
  • works with a different sorting -> +preOptModules+=sortEqnsVars
  • -> probably really a tearing issue of select corrent iteration variable

• ​Modelica.Magnetic.FundamentalWave.Examples.BasicMachines.SMEE_Generator_MultiPhase
  • singular linear system while simulation, initialization is solved via totalpivot
  • works with different sorting -> +preOptModules+=sortEqnsVars or other remove simple equation module +removeSimpleEquations=none|new
  • fails without tearing
  • -> most likely an IndexReduction issue #3691

• ​Modelica.Electrical.Spice3.Examples.Spice3BenchmarkDifferentialPair
  • Combination of Nonlinear and Dassl > initialization passes -> solver
  • the algebraic loops differs a lot compared with dymola 52 varibale and we have 29.
  • IndexReduction seems okay.
  • -> perhaps bad algorithm handling

• ​Modelica.Fluid.Examples.Explanatory.MomentumBalanceFittings
  • non-linear system fails at initialization
  • dymola also struggles with it
  • -> stream handling, non-linear solver issue or model error

• ​Modelica.Fluid.Examples.HeatingSystem
  • non-linear system fails at initialization
  • has dynamic stateSelection, but even with "stateSelect" always on dymola states it fails.
  • non-linear problem that fails is mixed
  • homotopy is used
  • -> perhaps mixed non-linear problem or homotopy handling

ModelicaTest

• FrontEnd issues:
  • ​ModelicaTest.Fluid.Dissipation.Verifications.PressureLoss.StraightPipe.dp_twoPhaseOverall_DP
  • ​ModelicaTest.Fluid.TestComponents.Fittings.TestWallFriction
  • ​ModelicaTest.Math.MatricesInModel
  • ​ModelicaTest.Media.TestAllProperties.MoistAir

• Division by zero at initialization:
  • ​ModelicaTest.Fluid.TestComponents.NewFittings.Bends.CurvedBend
  • ​ModelicaTest.Fluid.TestComponents.NewFittings.Bends.EdgedBend
  • ​ModelicaTest.Fluid.TestComponents.NewFittings.Orifices.ThickEdgedOrifice

• Assert in non-linear loops or fail to solve a non-linear system at initialization:
  • ​ModelicaTest.Fluid.TestComponents.Fittings.TestSuddenExpansion
  • ​ModelicaTest.Fluid.TestExamplesVariants.HeatingSystem_SteadyState
  • ​ModelicaTest.Fluid.TestPipesAndValves.LumpedPipeInitialization
  • ​ModelicaTest.Fluid.TestExamplesVariants.HeatingSystem_FixedInitial

• Simulation terminated by an assert:
  • ​ModelicaTest.Fluid.TestComponents.Sensors.TestTemperature1
  • ​ModelicaTest.Fluid.TestComponents.Vessels.TestSimpleTank
  • ​ModelicaTest.MultiBody.Joints.SphericalSpherical2
  • ​ModelicaTest.MultiBody.Joints.UniversalSpherical

ThermoPower

• FrontEnd
  • ​ThermoPower.Examples.HRB.Simulators.OpenLoopSimulatorHtc
  • ​ThermoPower.PowerPlants.Simulators.CCPP_Sim3
  • ​ThermoPower.PowerPlants.Simulators.SteamPlant_Sim1
  • ​ThermoPower.PowerPlants.Simulators.SteamPlant_Sim1_dp
  • ​ThermoPower.PowerPlants.Simulators.SteamPlant_Sim2

• non-linear system an assertion failed during initialization:
  • ​ThermoPower.Examples.HRB.Simulators.ClosedLoopDigitalSimulator

• alarm clock -> nonlinear algebraic loops(?!?)
  • ​ThermoPower.Examples.RankineCycle.Simulators.ClosedLoop (initialization)
  • ​ThermoPower.Test.DistributedParameterComponents.TestRefrigerantEvaporator (initialization)
  • ​ThermoPower.Test.DistributedParameterComponents.TestFlow1D2phChen_hf (simulation)

• solving linear system at initialization:
  • ​ThermoPower.Test.ElectricalComponents.TestNetworkGridTwoGenerators

[…]