Opened 9 years ago

Closed 9 years ago

Last modified 9 years ago

#3605 closed defect (invalid)

Translation fails for Noise example of MSL trunk

Reported by: martin.otter@… Owned by: Lennart Ochel
Priority: high Milestone: 1.9.4
Component: Backend Version:
Keywords: Cc: Adrian Pop

Description

Using the nightly build of this morning (OpenModelica-v1.9.4-dev-605-g49a5d9d.exe) and loading MSL from trunk and simulating the example Modelica.Blocks.Examples.NoiseExamples.UniformNoise gives the following translation error:

[1] 16:19:27 Translation Error
[c:/dev/OpenModelica/OMCompiler/Compiler/BackEnd/BackendDAETransform.mo: 317:7-317:48]: Interner Fehler BackendDAETransform.analyseStrongComponentBlock failed (Sorry - Support for Discrete Equation Systems is not yet implemented)
uniformNoise.localSeed
$PRE.uniformNoise.state[3]
$PRE.uniformNoise.state[2]
$PRE.uniformNoise.state[4]
$PRE.uniformNoise.state[1]
(uniformNoise.r_raw, _) = Modelica.Math.Random.Generators.Xorshift128plus.random({$PRE.uniformNoise.state[1], $PRE.uniformNoise.state[2], $PRE.uniformNoise.state[3], $PRE.uniformNoise.state[4]})
{$PRE.uniformNoise.state[1], $PRE.uniformNoise.state[2], $PRE.uniformNoise.state[3], $PRE.uniformNoise.state[4]} = Modelica.Math.Random.Utilities.initialStateWithXorshift64star(uniformNoise.localSeed, uniformNoise.actualGlobalSeed, 4)

[2] 16:19:27 Translation Error
[c:/dev/OpenModelica/OMCompiler/Compiler/BackEnd/BackendDAETransform.mo: 328:7-328:48]: Interner Fehler BackendDAETransform.analyseStrongComponentBlock failed
variables:
  uniformNoise.localSeed
  $PRE.uniformNoise.state[3]
  $PRE.uniformNoise.state[2]
  $PRE.uniformNoise.state[4]
  $PRE.uniformNoise.state[1]
equations:
  (uniformNoise.r_raw, _) = Modelica.Math.Random.Generators.Xorshift128plus.random({$PRE.uniformNoise.state[1], $PRE.uniformNoise.state[2], $PRE.uniformNoise.state[3], $PRE.uniformNoise.state[4]})
  {$PRE.uniformNoise.state[1], $PRE.uniformNoise.state[2], $PRE.uniformNoise.state[3], $PRE.uniformNoise.state[4]} = Modelica.Math.Random.Utilities.initialStateWithXorshift64star(uniformNoise.localSeed, uniformNoise.actualGlobalSeed, 4)

[3] 16:19:27 Translation Error
[c:/dev/OpenModelica/OMCompiler/Compiler/BackEnd/BackendDAETransform.mo: 332:7-332:90]: Interner Fehler function analyseStrongComponentBlock failed

[4] 16:19:27 Translation Error
[c:/dev/OpenModelica/OMCompiler/Compiler/BackEnd/BackendDAETransform.mo: 202:5-202:89]: Interner Fehler function analyseStrongComponentScalar failed

[5] 16:19:27 Translation Error
[c:/dev/OpenModelica/OMCompiler/Compiler/BackEnd/BackendDAETransform.mo: 106:7-106:113]: Interner Fehler function strongComponentsScalar failed (sorting strong components)

[6] 16:19:27 Translation Error
[c:/dev/OpenModelica/OMCompiler/Compiler/BackEnd/BackendDAEUtil.mo: 6820:5-6820:89]: Interner Fehler Transformation module sort components failed

[7] 16:19:27 Translation Error
No system for the symbolic initialization was generated

I do not see that there is the claimed "discrete equation system". It seems, OpenModelica does not support the function call

when ... then
 (r_raw, state) = generator.random(pre(state));
end when;

Change History (5)

comment:1 by Lennart Ochel, 9 years ago

Cc: Adrian Pop added
Status: newaccepted

I think I fixed this a couple of days ago (9297bf0 or eb50a09).

Please, just compare the coverage trend:
https://test.openmodelica.org/libraries/history/MSL_trunk-2015-12-16.html
https://test.openmodelica.org/libraries/history/MSL_trunk-2015-12-17.html

@Adrian, maybe the nightly build is broken again?

comment:2 by martin.otter@…, 9 years ago

Resolution: invalid
Status: acceptedclosed

Sorry, by accident, I used my local copy of MSL that contained a bug (I did not use the correct one from trunk)

comment:3 by martin.otter@…, 9 years ago

With the trunk version, the model simulates correctly

comment:4 by Martin Sjölund, 9 years ago

Milestone: 1.9.41.9.4-1.9.x

Milestone renamed

comment:5 by Martin Sjölund, 9 years ago

Milestone: 1.9.4-1.9.x1.9.4

Milestone renamed

Note: See TracTickets for help on using tickets.