Failed
tests / 06 testsuite-clang 3/3 / simulation_libraries_msl32.Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos (from (result.xml))
Stacktrace
Output mismatch (see stdout for details)
Standard Output
+ Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder ... equation mismatch [time: 114] ==== Log /tmp/omc-rtest-unknown/simulation/libraries/msl32/Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos_temp521/log-Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos "true " "" 1e-9 OpenModelicaModelTesting.Kind.VerifiedSimulation OpenModelicaModelTesting.DiffAlgorithm.diffSimulationResults Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder 600 true {"X1.X1.X1.X1.Q1.vbe","X1.X1.X1.X1.Q2.vbc","X1.X1.X1.X1.Q2.vbe","X1.X1.X1.X1.Q3.vbc","X1.X1.X1.X1.Q3.vbe","X1.X1.X1.X1.Q4.vbc","X1.X1.X1.X1.Q4.vbe","X1.X1.X1.X1.Q5.vbc","X1.X1.X1.X1.Q5.vbe","X1.X1.X1.X2.Q1.vbc","X1.X1.X1.X2.Q1.vbe","X1.X1.X1.X2.Q2.vbe","X1.X1.X1.X2.Q3.vbc","X1.X1.X1.X2.Q3.vbe","X1.X1.X1.X2.Q4.vbc","X1.X1.X1.X2.Q4.vbe","X1.X1.X1.X2.Q5.vbc","X1.X1.X1.X2.Q5.vbe","X1.X1.X2.X3.Q1.vbc","X1.X1.X2.X3.Q1.vbe","X1.X1.X2.X3.Q2.vbe","X1.X1.X2.X3.Q3.vbc","X1.X1.X2.X3.Q3.vbe","X1.X1.X2.X3.Q4.vbc","X1.X1.X2.X3.Q4.vbe","X1.X1.X2.X3.Q5.vbe","X1.X1.X2.X4.Q1.vbc","X1.X1.X2.X4.Q1.vbe","X1.X1.X2.X4.Q2.vbc","X1.X1.X2.X4.Q2.vbe","X1.X1.X2.X4.Q3.vbc","X1.X1.X2.X4.Q3.vbe","X1.X1.X2.X4.Q4.vbc","X1.X1.X2.X4.Q4.vbe","X1.X1.X2.X4.Q5.vbc","X1.X1.X2.X4.Q5.vbe","X1.X2.X2.X9.Q1.vbc","X1.X2.X2.X9.Q1.vbe","X1.X2.X2.X9.Q2.vbc","X1.X2.X2.X9.Q2.vbe","X1.X2.X2.X9.Q3.vbc","X1.X2.X2.X9.Q3.vbe","X1.X2.X2.X9.Q4.vbc","X1.X2.X2.X9.Q4.vbe","X1.X2.X2.X9.Q5.vbc","X1.X2.X2.X9.Q5.vbe"} Simulation options: startTime = 0.0, stopTime = 1e-9, numberOfIntervals = 999, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder', options = '', outputFormat = 'mat', variableFilter = 'time|X1.X1.X1.X1.Q1.vbe|X1.X1.X1.X1.Q2.vbc|X1.X1.X1.X1.Q2.vbe|X1.X1.X1.X1.Q3.vbc|X1.X1.X1.X1.Q3.vbe|X1.X1.X1.X1.Q4.vbc|X1.X1.X1.X1.Q4.vbe|X1.X1.X1.X1.Q5.vbc|X1.X1.X1.X1.Q5.vbe|X1.X1.X1.X2.Q1.vbc|X1.X1.X1.X2.Q1.vbe|X1.X1.X1.X2.Q2.vbe|X1.X1.X1.X2.Q3.vbc|X1.X1.X1.X2.Q3.vbe|X1.X1.X1.X2.Q4.vbc|X1.X1.X1.X2.Q4.vbe|X1.X1.X1.X2.Q5.vbc|X1.X1.X1.X2.Q5.vbe|X1.X1.X2.X3.Q1.vbc|X1.X1.X2.X3.Q1.vbe|X1.X1.X2.X3.Q2.vbe|X1.X1.X2.X3.Q3.vbc|X1.X1.X2.X3.Q3.vbe|X1.X1.X2.X3.Q4.vbc|X1.X1.X2.X3.Q4.vbe|X1.X1.X2.X3.Q5.vbe|X1.X1.X2.X4.Q1.vbc|X1.X1.X2.X4.Q1.vbe|X1.X1.X2.X4.Q2.vbc|X1.X1.X2.X4.Q2.vbe|X1.X1.X2.X4.Q3.vbc|X1.X1.X2.X4.Q3.vbe|X1.X1.X2.X4.Q4.vbc|X1.X1.X2.X4.Q4.vbe|X1.X1.X2.X4.Q5.vbc|X1.X1.X2.X4.Q5.vbe|X1.X2.X2.X9.Q1.vbc|X1.X2.X2.X9.Q1.vbe|X1.X2.X2.X9.Q2.vbc|X1.X2.X2.X9.Q2.vbe|X1.X2.X2.X9.Q3.vbc|X1.X2.X2.X9.Q3.vbe|X1.X2.X2.X9.Q4.vbc|X1.X2.X2.X9.Q4.vbe|X1.X2.X2.X9.Q5.vbc|X1.X2.X2.X9.Q5.vbe', cflags = '', simflags = ' -abortSlowSimulation -alarm=360 -emit_protected' Result file: Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder_res.mat Messages: LOG_STDOUT | info | Using sparse solver for linear system 4, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 7, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 10, | | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 12, | | | | because density of 0.020 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 15, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 20, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 23, | | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 25, | | | | because density of 0.018 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 32, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 33, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 36, | | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 38, | | | | because density of 0.018 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 45, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 46, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 49, | | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 51, | | | | because density of 0.018 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 61, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 63, | | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 65, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 72, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 74, | | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 75, | | | | because density of 0.018 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 77, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 82, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 86, | | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 87, | | | | because density of 0.018 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 89, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 96, | | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 97, | | | | because density of 0.018 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 100, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 102, | | | | because density of 0.020 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 103, | | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | The maximum density for using sparse solvers can be specified | | | | using the runtime flag '<-lssMaxDensity=value>'. LOG_SUCCESS | info | The initialization finished successfully without homotopy method. LOG_SUCCESS | info | The simulation finished successfully. Files Equal! "true " "" Equation mismatch: diff says: --- /tmp/omc-rtest-unknown/simulation/libraries/msl32/Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos_temp521/equations-expected2024-01-13 02:52:38.138164757 +0000 +++ /tmp/omc-rtest-unknown/simulation/libraries/msl32/Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos_temp521/equations-got2024-01-13 02:54:32.580572960 +0000 @@ -1,33 +1,81 @@ "true " "" -1e-09 +1e-9 OpenModelicaModelTesting.Kind.VerifiedSimulation OpenModelicaModelTesting.DiffAlgorithm.diffSimulationResults Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder 600 true {"X1.X1.X1.X1.Q1.vbe","X1.X1.X1.X1.Q2.vbc","X1.X1.X1.X1.Q2.vbe","X1.X1.X1.X1.Q3.vbc","X1.X1.X1.X1.Q3.vbe","X1.X1.X1.X1.Q4.vbc","X1.X1.X1.X1.Q4.vbe","X1.X1.X1.X1.Q5.vbc","X1.X1.X1.X1.Q5.vbe","X1.X1.X1.X2.Q1.vbc","X1.X1.X1.X2.Q1.vbe","X1.X1.X1.X2.Q2.vbe","X1.X1.X1.X2.Q3.vbc","X1.X1.X1.X2.Q3.vbe","X1.X1.X1.X2.Q4.vbc","X1.X1.X1.X2.Q4.vbe","X1.X1.X1.X2.Q5.vbc","X1.X1.X1.X2.Q5.vbe","X1.X1.X2.X3.Q1.vbc","X1.X1.X2.X3.Q1.vbe","X1.X1.X2.X3.Q2.vbe","X1.X1.X2.X3.Q3.vbc","X1.X1.X2.X3.Q3.vbe","X1.X1.X2.X3.Q4.vbc","X1.X1.X2.X3.Q4.vbe","X1.X1.X2.X3.Q5.vbe","X1.X1.X2.X4.Q1.vbc","X1.X1.X2.X4.Q1.vbe","X1.X1.X2.X4.Q2.vbc","X1.X1.X2.X4.Q2.vbe","X1.X1.X2.X4.Q3.vbc","X1.X1.X2.X4.Q3.vbe","X1.X1.X2.X4.Q4.vbc","X1.X1.X2.X4.Q4.vbe","X1.X1.X2.X4.Q5.vbc","X1.X1.X2.X4.Q5.vbe","X1.X2.X2.X9.Q1.vbc","X1.X2.X2.X9.Q1.vbe","X1.X2.X2.X9.Q2.vbc","X1.X2.X2.X9.Q2.vbe","X1.X2.X2.X9.Q3.vbc","X1.X2.X2.X9.Q3.vbe","X1.X2.X2.X9.Q4.vbc","X1.X2.X2.X9.Q4.vbe","X1.X2.X2.X9.Q5.vbc","X1.X2.X2.X9.Q5.vbe"} -Simulation options: startTime = 0.0, stopTime = 1e-09, numberOfIntervals = 999, tolerance = 1e-06, method = 'dassl', fileNamePrefix = 'Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder', options = '', outputFormat = 'mat', variableFilter = 'time|X1.X1.X1.X1.Q1.vbe|X1.X1.X1.X1.Q2.vbc|X1.X1.X1.X1.Q2.vbe|X1.X1.X1.X1.Q3.vbc|X1.X1.X1.X1.Q3.vbe|X1.X1.X1.X1.Q4.vbc|X1.X1.X1.X1.Q4.vbe|X1.X1.X1.X1.Q5.vbc|X1.X1.X1.X1.Q5.vbe|X1.X1.X1.X2.Q1.vbc|X1.X1.X1.X2.Q1.vbe|X1.X1.X1.X2.Q2.vbe|X1.X1.X1.X2.Q3.vbc|X1.X1.X1.X2.Q3.vbe|X1.X1.X1.X2.Q4.vbc|X1.X1.X1.X2.Q4.vbe|X1.X1.X1.X2.Q5.vbc|X1.X1.X1.X2.Q5.vbe|X1.X1.X2.X3.Q1.vbc|X1.X1.X2.X3.Q1.vbe|X1.X1.X2.X3.Q2.vbe|X1.X1.X2.X3.Q3.vbc|X1.X1.X2.X3.Q3.vbe|X1.X1.X2.X3.Q4.vbc|X1.X1.X2.X3.Q4.vbe|X1.X1.X2.X3.Q5.vbe|X1.X1.X2.X4.Q1.vbc|X1.X1.X2.X4.Q1.vbe|X1.X1.X2.X4.Q2.vbc|X1.X1.X2.X4.Q2.vbe|X1.X1.X2.X4.Q3.vbc|X1.X1.X2.X4.Q3.vbe|X1.X1.X2.X4.Q4.vbc|X1.X1.X2.X4.Q4.vbe|X1.X1.X2.X4.Q5.vbc|X1.X1.X2.X4.Q5.vbe|X1.X2.X2.X9.Q1.vbc|X1.X2.X2.X9.Q1.vbe|X1.X2.X2.X9.Q2.vbc|X1.X2.X2.X9.Q2.vbe|X1.X2.X2.X9.Q3.vbc|X1.X2.X2.X9.Q3.vbe|X1.X2.X2.X9.Q4.vbc|X1.X2.X2.X9.Q4.vbe|X1.X2.X2.X9.Q5.vbc|X1.X2.X2.X9.Q5.vbe', cflags = '', simflags = ' -abortSlowSimulation -alarm=360 -emit_protected' +Simulation options: startTime = 0.0, stopTime = 1e-9, numberOfIntervals = 999, tolerance = 1e-6, method = 'dassl', fileNamePrefix = 'Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder', options = '', outputFormat = 'mat', variableFilter = 'time|X1.X1.X1.X1.Q1.vbe|X1.X1.X1.X1.Q2.vbc|X1.X1.X1.X1.Q2.vbe|X1.X1.X1.X1.Q3.vbc|X1.X1.X1.X1.Q3.vbe|X1.X1.X1.X1.Q4.vbc|X1.X1.X1.X1.Q4.vbe|X1.X1.X1.X1.Q5.vbc|X1.X1.X1.X1.Q5.vbe|X1.X1.X1.X2.Q1.vbc|X1.X1.X1.X2.Q1.vbe|X1.X1.X1.X2.Q2.vbe|X1.X1.X1.X2.Q3.vbc|X1.X1.X1.X2.Q3.vbe|X1.X1.X1.X2.Q4.vbc|X1.X1.X1.X2.Q4.vbe|X1.X1.X1.X2.Q5.vbc|X1.X1.X1.X2.Q5.vbe|X1.X1.X2.X3.Q1.vbc|X1.X1.X2.X3.Q1.vbe|X1.X1.X2.X3.Q2.vbe|X1.X1.X2.X3.Q3.vbc|X1.X1.X2.X3.Q3.vbe|X1.X1.X2.X3.Q4.vbc|X1.X1.X2.X3.Q4.vbe|X1.X1.X2.X3.Q5.vbe|X1.X1.X2.X4.Q1.vbc|X1.X1.X2.X4.Q1.vbe|X1.X1.X2.X4.Q2.vbc|X1.X1.X2.X4.Q2.vbe|X1.X1.X2.X4.Q3.vbc|X1.X1.X2.X4.Q3.vbe|X1.X1.X2.X4.Q4.vbc|X1.X1.X2.X4.Q4.vbe|X1.X1.X2.X4.Q5.vbc|X1.X1.X2.X4.Q5.vbe|X1.X2.X2.X9.Q1.vbc|X1.X2.X2.X9.Q1.vbe|X1.X2.X2.X9.Q2.vbc|X1.X2.X2.X9.Q2.vbe|X1.X2.X2.X9.Q3.vbc|X1.X2.X2.X9.Q3.vbe|X1.X2.X2.X9.Q4.vbc|X1.X2.X2.X9.Q4.vbe|X1.X2.X2.X9.Q5.vbc|X1.X2.X2.X9.Q5.vbe', cflags = '', simflags = ' -abortSlowSimulation -alarm=360 -emit_protected' Result file: Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder_res.mat -Messages: LOG_STDOUT | info | Using sparse solver for linear system 12, -| | | | because density of 0.158 remains under threshold of 0.200. +Messages: LOG_STDOUT | info | Using sparse solver for linear system 4, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 7, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 10, +| | | | because density of 0.166 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 12, +| | | | because density of 0.020 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 15, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 20, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 23, +| | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 25, -| | | | because density of 0.158 remains under threshold of 0.200. +| | | | because density of 0.018 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 32, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 33, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 36, +| | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 38, -| | | | because density of 0.186 remains under threshold of 0.200. +| | | | because density of 0.018 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 45, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 46, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 49, +| | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 51, -| | | | because density of 0.186 remains under threshold of 0.200. +| | | | because density of 0.018 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 61, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 63, +| | | | because density of 0.166 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 65, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 72, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 74, +| | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 75, -| | | | because density of 0.182 remains under threshold of 0.200. +| | | | because density of 0.018 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 77, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 82, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 86, +| | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 87, -| | | | because density of 0.162 remains under threshold of 0.200. +| | | | because density of 0.018 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 89, +| | | | because density of 0.076 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 96, +| | | | because density of 0.166 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 97, -| | | | because density of 0.173 remains under threshold of 0.200. +| | | | because density of 0.018 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 100, +| | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | Using sparse solver for linear system 102, -| | | | because density of 0.168 remains under threshold of 0.200. +| | | | because density of 0.020 remains under threshold of 0.200. +LOG_STDOUT | info | Using sparse solver for linear system 103, +| | | | because density of 0.076 remains under threshold of 0.200. LOG_STDOUT | info | The maximum density for using sparse solvers can be specified | | | | using the runtime flag '<-lssMaxDensity=value>'. LOG_SUCCESS | info | The initialization finished successfully without homotopy method. LOG_SUCCESS | info | The simulation finished successfully. Equation mismatch: omc-diff says: Line 13: Integer 12 != 4 == 1 out of 1 tests failed [simulation/libraries/msl32/Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.mos_temp521, time: 114]