Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_4.0.0_Modelica.Electrical.Digital.Examples.Adder4.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(Modelica.Electrical.Digital.Examples.Adder4,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|Adder1.Adder1.AND.G2.x|Adder1.Adder1.AND.G2.y|Adder1.Adder1.XOR.G2.x|Adder1.Adder1.XOR.G2.y|Adder1.Adder2.AND.G2.x|Adder1.Adder2.AND.G2.y|Adder1.Adder2.XOR.G2.x|Adder1.Adder2.XOR.G2.y|Adder2.Adder1.AND.G2.x|Adder2.Adder1.AND.G2.y|Adder2.Adder1.XOR.G2.x|Adder2.Adder1.XOR.G2.y|Adder2.Adder2.AND.G2.x|Adder2.Adder2.AND.G2.y|Adder2.Adder2.XOR.G2.x|Adder2.Adder2.XOR.G2.y|Adder3.Adder1.AND.G2.x|Adder3.Adder1.AND.G2.y|Adder3.Adder1.XOR.G2.x|Adder3.Adder1.XOR.G2.y|Adder3.Adder2.AND.G2.x|Adder3.Adder2.AND.G2.y|Adder3.Adder2.XOR.G2.x|Adder3.Adder2.XOR.G2.y|Adder4.Adder1.AND.G2.x|Adder4.Adder1.AND.G2.y|Adder4.Adder1.XOR.G2.x|Adder4.Adder1.XOR.G2.y|Adder4.Adder2.AND.G2.x|Adder4.Adder2.AND.G2.y|Adder4.Adder2.XOR.G2.x|Adder4.Adder2.XOR.G2.y",fileNamePrefix="Modelica_4.0.0_Modelica.Electrical.Digital.Examples.Adder4") translateModel(Modelica.Electrical.Digital.Examples.Adder4,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|Adder1.Adder1.AND.G2.x|Adder1.Adder1.AND.G2.y|Adder1.Adder1.XOR.G2.x|Adder1.Adder1.XOR.G2.y|Adder1.Adder2.AND.G2.x|Adder1.Adder2.AND.G2.y|Adder1.Adder2.XOR.G2.x|Adder1.Adder2.XOR.G2.y|Adder2.Adder1.AND.G2.x|Adder2.Adder1.AND.G2.y|Adder2.Adder1.XOR.G2.x|Adder2.Adder1.XOR.G2.y|Adder2.Adder2.AND.G2.x|Adder2.Adder2.AND.G2.y|Adder2.Adder2.XOR.G2.x|Adder2.Adder2.XOR.G2.y|Adder3.Adder1.AND.G2.x|Adder3.Adder1.AND.G2.y|Adder3.Adder1.XOR.G2.x|Adder3.Adder1.XOR.G2.y|Adder3.Adder2.AND.G2.x|Adder3.Adder2.AND.G2.y|Adder3.Adder2.XOR.G2.x|Adder3.Adder2.XOR.G2.y|Adder4.Adder1.AND.G2.x|Adder4.Adder1.AND.G2.y|Adder4.Adder1.XOR.G2.x|Adder4.Adder1.XOR.G2.y|Adder4.Adder2.AND.G2.x|Adder4.Adder2.AND.G2.y|Adder4.Adder2.XOR.G2.x|Adder4.Adder2.XOR.G2.y",fileNamePrefix="Modelica_4.0.0_Modelica.Electrical.Digital.Examples.Adder4") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001365/0.001365, allocations: 115.3 kB / 17.75 MB, free: 5.168 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001408/0.001408, allocations: 193.9 kB / 18.69 MB, free: 4.242 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.271/1.271, allocations: 222.9 MB / 242.4 MB, free: 15.18 MB / 206.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 1.942e-05/1.943e-05, allocations: 2.281 kB / 351.9 MB, free: 3.289 MB / 286.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.Adder4): time 0.00603/0.006059, allocations: 5.84 MB / 357.8 MB, free: 13.43 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.004398/0.01047, allocations: 2.448 MB / 360.2 MB, free: 10.97 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0003486/0.01083, allocations: 23.88 kB / 360.3 MB, free: 10.95 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0004465/0.01129, allocations: 237.8 kB / 360.5 MB, free: 10.71 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0005416/0.01184, allocations: 325.7 kB / 360.8 MB, free: 10.39 MB / 302.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.001277/0.01316, allocations: 0.8534 MB / 361.7 MB, free: 9.539 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.002802/0.01597, allocations: 3.03 MB / 364.7 MB, free: 6.504 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0009729/0.01696, allocations: 0.8374 MB / 365.5 MB, free: 5.629 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.003238/0.0202, allocations: 3.142 MB / 368.7 MB, free: 2.48 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.001765/0.02198, allocations: 1.315 MB / 370 MB, free: 1.16 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0005302/0.02252, allocations: 292 kB / 370.3 MB, free: 0.875 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0005492/0.02308, allocations: 304 kB / 370.6 MB, free: 0.5781 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.1895/0.2126, allocations: 2.869 MB / 373.4 MB, free: 13.77 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0008857/0.2135, allocations: 1.423 MB / 374.9 MB, free: 12.91 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 0.000721/0.2142, allocations: 348.8 kB / 375.2 MB, free: 12.86 MB / 302.1 MB Notification: Performance of FrontEnd: time 0.0003528/0.2146, allocations: 64.69 kB / 375.3 MB, free: 12.84 MB / 302.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 341 (245) * Number of variables: 341 (285) Notification: Performance of Bindings: time 0.007518/0.2221, allocations: 8.612 MB / 383.9 MB, free: 9.52 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.0002639/0.2224, allocations: 242.8 kB / 384.1 MB, free: 9.383 MB / 302.1 MB Notification: Performance of Early Inline: time 0.007299/0.2297, allocations: 6.745 MB / 390.9 MB, free: 5.352 MB / 302.1 MB Notification: Performance of simplify1: time 0.0004065/0.2301, allocations: 186.3 kB / 391 MB, free: 5.285 MB / 302.1 MB Notification: Performance of Alias: time 0.007647/0.2378, allocations: 6.848 MB / 397.9 MB, free: 1.254 MB / 302.1 MB Notification: Performance of simplify2: time 0.0003193/0.2381, allocations: 132.5 kB / 398 MB, free: 1.211 MB / 302.1 MB Notification: Performance of Detect States: time 0.003264/0.2414, allocations: 3.523 MB / 401.5 MB, free: 15.11 MB / 318.1 MB Notification: Performance of Events: time 0.002362/0.2438, allocations: 2.05 MB / 403.6 MB, free: 13.94 MB / 318.1 MB Notification: Performance of Partitioning: time 0.002158/0.2459, allocations: 2.187 MB / 405.8 MB, free: 12.72 MB / 318.1 MB Notification: Performance of Causalize: time 0.006677/0.2526, allocations: 6.66 MB / 412.4 MB, free: 6.598 MB / 318.1 MB Notification: Performance of After Index Reduction Inline: time 0.00634/0.259, allocations: 6.388 MB / 418.8 MB, free: 0.6992 MB / 318.1 MB Notification: Performance of Inline: time 0.01226/0.2713, allocations: 11.55 MB / 430.4 MB, free: 5.664 MB / 334.1 MB Notification: Performance of Partitioning: time 0.0006289/0.2719, allocations: 450.8 kB / 430.8 MB, free: 5.191 MB / 334.1 MB Notification: Performance of Cleanup: time 0.001038/0.273, allocations: 0.8141 MB / 431.6 MB, free: 4.387 MB / 334.1 MB Warning: NBResolveSingularities.balanceInitialization reports an overdetermined initialization! Checking for consistency is not yet supported, following equations had to be removed: [SCAL] (1) Adder4.Adder1.XOR.G2.y_auxiliary = Adder4.Adder1.XOR.G2.y0 ($RES_SRT_362) slice: {}; [SCAL] (1) $PRE.Adder4.Adder1.XOR.G1.auxiliary_n = $START.Adder4.Adder1.XOR.G1.auxiliary_n ($RES_SRT_359) slice: {}; [SCAL] (1) Adder4.Adder1.AND.G2.y_auxiliary = Adder4.Adder1.AND.G2.y0 ($RES_SRT_357) slice: {}; [SCAL] (1) $PRE.Adder4.Adder1.AND.G1.auxiliary_n = $START.Adder4.Adder1.AND.G1.auxiliary_n ($RES_SRT_354) slice: {}; [SCAL] (1) Adder4.Adder2.XOR.G2.y_auxiliary = Adder4.Adder2.XOR.G2.y0 ($RES_SRT_352) slice: {}; [SCAL] (1) Adder4.Adder2.XOR.G2.x = $START.Adder4.Adder2.XOR.G2.x ($RES_SRT_350) slice: {}; [SCAL] (1) Adder4.Adder2.AND.G2.y_auxiliary = Adder4.Adder2.AND.G2.y0 ($RES_SRT_347) slice: {}; [SCAL] (1) Adder4.Adder2.AND.G2.x = $START.Adder4.Adder2.AND.G2.x ($RES_SRT_345) slice: {}; [SCAL] (1) Adder3.Adder1.XOR.G2.y_auxiliary = Adder3.Adder1.XOR.G2.y0 ($RES_SRT_341) slice: {}; [SCAL] (1) Adder3.Adder1.XOR.G2.x = $START.Adder3.Adder1.XOR.G2.x ($RES_SRT_339) slice: {}; [SCAL] (1) Adder3.Adder1.AND.G2.y_auxiliary = Adder3.Adder1.AND.G2.y0 ($RES_SRT_336) slice: {}; [SCAL] (1) $PRE.Adder3.Adder1.AND.G1.auxiliary_n = $START.Adder3.Adder1.AND.G1.auxiliary_n ($RES_SRT_333) slice: {}; [SCAL] (1) Adder3.Adder2.XOR.G2.y_auxiliary = Adder3.Adder2.XOR.G2.y0 ($RES_SRT_331) slice: {}; [SCAL] (1) $PRE.Adder3.Adder2.XOR.G1.auxiliary_n = $START.Adder3.Adder2.XOR.G1.auxiliary_n ($RES_SRT_328) slice: {}; [SCAL] (1) Adder3.Adder2.AND.G2.y_auxiliary = Adder3.Adder2.AND.G2.y0 ($RES_SRT_326) slice: {}; [SCAL] (1) $PRE.Adder3.Adder2.AND.G1.auxiliary_n = $START.Adder3.Adder2.AND.G1.auxiliary_n ($RES_SRT_323) slice: {}; [SCAL] (1) Adder2.Adder1.XOR.G2.y_auxiliary = Adder2.Adder1.XOR.G2.y0 ($RES_SRT_320) slice: {}; [SCAL] (1) $PRE.Adder2.Adder1.XOR.G1.auxiliary_n = $START.Adder2.Adder1.XOR.G1.auxiliary_n ($RES_SRT_317) slice: {}; [SCAL] (1) Adder2.Adder1.AND.G2.y_auxiliary = Adder2.Adder1.AND.G2.y0 ($RES_SRT_315) slice: {}; [SCAL] (1) $PRE.Adder2.Adder1.AND.G1.auxiliary_n = $START.Adder2.Adder1.AND.G1.auxiliary_n ($RES_SRT_312) slice: {}; [SCAL] (1) Adder2.Adder2.XOR.G2.y_auxiliary = Adder2.Adder2.XOR.G2.y0 ($RES_SRT_310) slice: {}; [SCAL] (1) $PRE.Adder2.Adder2.XOR.G1.auxiliary_n = $START.Adder2.Adder2.XOR.G1.auxiliary_n ($RES_SRT_307) slice: {}; [SCAL] (1) Adder2.Adder2.AND.G2.y_auxiliary = Adder2.Adder2.AND.G2.y0 ($RES_SRT_305) slice: {}; [SCAL] (1) $PRE.Adder2.Adder2.AND.G1.auxiliary_n = $START.Adder2.Adder2.AND.G1.auxiliary_n ($RES_SRT_302) slice: {}; [SCAL] (1) Adder1.Adder1.XOR.G2.y_auxiliary = Adder1.Adder1.XOR.G2.y0 ($RES_SRT_299) slice: {}; [SCAL] (1) $PRE.Adder1.Adder1.XOR.G1.auxiliary_n = $START.Adder1.Adder1.XOR.G1.auxiliary_n ($RES_SRT_296) slice: {}; [SCAL] (1) Adder1.Adder1.AND.G2.y_auxiliary = Adder1.Adder1.AND.G2.y0 ($RES_SRT_294) slice: {}; [SCAL] (1) Adder1.Adder1.AND.G2.x = $START.Adder1.Adder1.AND.G2.x ($RES_SRT_292) slice: {}; [SCAL] (1) Adder1.Adder2.XOR.G2.y_auxiliary = Adder1.Adder2.XOR.G2.y0 ($RES_SRT_289) slice: {}; [SCAL] (1) $PRE.Adder1.Adder2.XOR.G1.auxiliary_n = $START.Adder1.Adder2.XOR.G1.auxiliary_n ($RES_SRT_286) slice: {}; [SCAL] (1) Adder1.Adder2.AND.G2.y_auxiliary = Adder1.Adder2.AND.G2.y0 ($RES_SRT_284) slice: {}; [SCAL] (1) $PRE.Adder1.Adder2.AND.G1.auxiliary_n = $START.Adder1.Adder2.AND.G1.auxiliary_n ($RES_SRT_281) slice: {}; [SCAL] (1) Adder4.Adder1.XOR.G2.y0 = Adder4.Adder1.XOR.y0 ($RES_BND_444) slice: {}; [SCAL] (1) Adder4.Adder1.AND.G2.y0 = Adder4.Adder1.AND.y0 ($RES_BND_439) slice: {}; [SCAL] (1) Adder4.Adder2.XOR.G2.y0 = Adder4.Adder2.XOR.y0 ($RES_BND_434) slice: {}; [SCAL] (1) Adder4.Adder2.AND.G2.y0 = Adder4.Adder2.AND.y0 ($RES_BND_429) slice: {}; [SCAL] (1) Adder3.Adder1.XOR.G2.y0 = Adder3.Adder1.XOR.y0 ($RES_BND_424) slice: {}; [SCAL] (1) Adder3.Adder1.AND.G2.y0 = Adder3.Adder1.AND.y0 ($RES_BND_419) slice: {}; [SCAL] (1) Adder3.Adder2.XOR.G2.y0 = Adder3.Adder2.XOR.y0 ($RES_BND_414) slice: {}; [SCAL] (1) Adder3.Adder2.AND.G2.y0 = Adder3.Adder2.AND.y0 ($RES_BND_409) slice: {}; [SCAL] (1) Adder2.Adder1.XOR.G2.y0 = Adder2.Adder1.XOR.y0 ($RES_BND_404) slice: {}; [SCAL] (1) Adder2.Adder1.AND.G2.y0 = Adder2.Adder1.AND.y0 ($RES_BND_399) slice: {}; [SCAL] (1) Adder2.Adder2.XOR.G2.y0 = Adder2.Adder2.XOR.y0 ($RES_BND_394) slice: {}; [SCAL] (1) Adder2.Adder2.AND.G2.y0 = Adder2.Adder2.AND.y0 ($RES_BND_389) slice: {}; [SCAL] (1) Adder1.Adder1.XOR.G2.y0 = Adder1.Adder1.XOR.y0 ($RES_BND_384) slice: {}; [SCAL] (1) Adder1.Adder1.AND.G2.y0 = Adder1.Adder1.AND.y0 ($RES_BND_379) slice: {}; [SCAL] (1) Adder1.Adder2.XOR.G2.y0 = Adder1.Adder2.XOR.y0 ($RES_BND_374) slice: {}; [SCAL] (1) Adder1.Adder2.AND.G2.y0 = Adder1.Adder2.AND.y0 ($RES_BND_369) slice: {}; Notification: Performance of Causalize: time 0.01949/0.2925, allocations: 19.16 MB / 450.8 MB, free: 1.113 MB / 350.1 MB Error: Internal error NBEquation.Equation.getResidualExp failed for: [ALGO] (6) ($RES_SIM_12) [----] Adder1.Adder1.XOR.G2.y_old := if initial() or $PRE.Adder1.Adder1.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder1.Adder1.XOR.G2.y0 else $PRE.Adder1.Adder1.XOR.G2.y; [----] Adder1.Adder1.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder1.Adder1.XOR.G2.y_old, Adder1.Adder1.XOR.G2.x]; [----] Adder1.Adder1.XOR.G2.delayTime := if Adder1.Adder1.XOR.G2.lh > 0 then Adder1.Adder1.XOR.G2.tLH else if Adder1.Adder1.XOR.G2.lh < 0 then Adder1.Adder1.XOR.G2.tHL else 0.0; [----] Adder1.Adder1.XOR.G2.t_next := time + Adder1.Adder1.XOR.G2.delayTime; [----] if Adder1.Adder1.XOR.G2.lh == 0 or abs(Adder1.Adder1.XOR.G2.delayTime) < 1e-60 then [----] Adder1.Adder1.XOR.G2.y_auxiliary := Adder1.Adder1.XOR.G2.x; [----] end if; [----] Adder1.Adder1.XOR.G2.y := if Adder1.Adder1.XOR.G2.tLH > 0.0 or Adder1.Adder1.XOR.G2.tHL > 0.0 then Adder1.Adder1.XOR.G2.y_auxiliary else Adder1.Adder1.XOR.G2.x; Error: Internal error NBInitialization.main failed to apply modules!