Mismatches between results when doing the verification step?

[casella]

@AnHeuermann, please check Modelica.Electrical.Analog.Examples.DemonstrateLightning diff. All four signals are completely different, I guess we are not really comparing the corresponding variables in the two data sets.

[AnHeuermann]

I think the verification step itself is not the issue here. Re-running the simulation on my machine and plotting the results shows similar results. The CSV files are looking reasonable as well.

I checked the Base Modelica file Modelica.Electrical.Analog.Examples.DemonstrateLightning.bmo and for the state variables OpenModelica will produce the same simulation results as for the original Modelica model. So let's assume the Base Modelica file is more or less correct for now.

The model has a state event at $time=0.01 \text{ms}$ and we get some warning while transforming the model to MTK:

julia> ode_prob = DifferentialEquations.ODEProblem(sys, u0, tspan)
┌ Warning: Did not converge after `maxiters = 100` substitutions. Either there \
│ is a cycle in the rules or `maxiters` needs to be higher.
└ @ Symbolics ~/.julia/packages/Symbolics/29fkz/src/variable.jl:443
ODEProblem with uType Vector{Float64} and tType Float64. In-place: true
Initialization status: FULLY_DETERMINED
Non-trivial mass matrix: true
timespan: (0.0, 4.0e-5)
u0: 4-element Vector{Float64}:
 0.0
 0.0
 0.0
 0.0

I blame one of these issues.

[casella]

See SciML/BaseModelica.jl#103