Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.1_Modelica.Electrical.Digital.Examples.HalfAdder.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 3.2.3+maint.om/package.mo", uses=false) Using package Modelica with version 3.2.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+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.HalfAdder,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.Electrical.Digital.Examples.HalfAdder") translateModel(Modelica.Electrical.Digital.Examples.HalfAdder,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.Electrical.Digital.Examples.HalfAdder") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001145/0.001145, allocations: 107.6 kB / 16.42 MB, free: 6.477 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.001141/0.001141, allocations: 187.2 kB / 17.35 MB, free: 5.707 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.26/1.26, allocations: 205.1 MB / 223.2 MB, free: 12.22 MB / 190.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 1.812e-05/1.814e-05, allocations: 2.281 kB / 327.2 MB, free: 3.324 MB / 270.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.HalfAdder): time 0.002641/0.002666, allocations: 2.1 MB / 329.3 MB, free: 1.211 MB / 270.1 MB Notification: Performance of NFInst.instExpressions: time 0.001877/0.004555, allocations: 1.062 MB / 330.3 MB, free: 144 kB / 270.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 7.398e-05/0.00464, allocations: 7.938 kB / 330.4 MB, free: 136 kB / 270.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0001617/0.004808, allocations: 35.64 kB / 330.4 MB, free: 100 kB / 270.1 MB Notification: Performance of NFTyping.typeBindings: time 9.176e-05/0.004912, allocations: 51.53 kB / 330.4 MB, free: 48 kB / 270.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.0003325/0.005251, allocations: 123.9 kB / 330.6 MB, free: 15.92 MB / 286.1 MB Notification: Performance of NFFlatten.flatten: time 0.000417/0.005676, allocations: 435 kB / 331 MB, free: 15.5 MB / 286.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0002045/0.005888, allocations: 102 kB / 331.1 MB, free: 15.4 MB / 286.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.0008172/0.006712, allocations: 0.9553 MB / 332 MB, free: 14.44 MB / 286.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0002429/0.006965, allocations: 203.2 kB / 332.2 MB, free: 14.24 MB / 286.1 MB Notification: Performance of NFPackage.collectConstants: time 6.497e-05/0.007039, allocations: 32 kB / 332.3 MB, free: 14.21 MB / 286.1 MB Notification: Performance of NFFlatten.collectFunctions: time 5.884e-05/0.007105, allocations: 36 kB / 332.3 MB, free: 14.18 MB / 286.1 MB Notification: Performance of combineBinaries: time 0.0003824/0.007493, allocations: 471.2 kB / 332.8 MB, free: 13.71 MB / 286.1 MB Notification: Performance of replaceArrayConstructors: time 0.0001333/0.007632, allocations: 248.3 kB / 333 MB, free: 13.46 MB / 286.1 MB Notification: Performance of NFVerifyModel.verify: time 6.079e-05/0.0077, allocations: 55.81 kB / 333.1 MB, free: 13.41 MB / 286.1 MB Notification: Performance of FrontEnd: time 2.453e-05/0.00773, allocations: 7.938 kB / 333.1 MB, free: 13.4 MB / 286.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 42 (30) * Number of variables: 42 (36) Notification: Performance of Bindings: time 0.001256/0.00899, allocations: 1.367 MB / 334.4 MB, free: 11.93 MB / 286.1 MB Notification: Performance of FunctionAlias: time 0.0001585/0.009155, allocations: 131.7 kB / 334.6 MB, free: 11.8 MB / 286.1 MB Notification: Performance of Early Inline: time 0.0007957/0.00996, allocations: 0.8863 MB / 335.4 MB, free: 10.88 MB / 286.1 MB Notification: Performance of simplify1: time 4.599e-05/0.01001, allocations: 31.95 kB / 335.5 MB, free: 10.85 MB / 286.1 MB Notification: Performance of Alias: time 0.0008212/0.01084, allocations: 0.7945 MB / 336.3 MB, free: 9.973 MB / 286.1 MB Notification: Performance of simplify2: time 4.803e-05/0.0109, allocations: 31.89 kB / 336.3 MB, free: 9.941 MB / 286.1 MB Notification: Performance of Events: time 0.0004572/0.01136, allocations: 351.6 kB / 336.6 MB, free: 9.598 MB / 286.1 MB Notification: Performance of Detect States: time 0.000622/0.01199, allocations: 471.1 kB / 337.1 MB, free: 9.121 MB / 286.1 MB Notification: Performance of Partitioning: time 0.0003781/0.01238, allocations: 340.2 kB / 337.4 MB, free: 8.781 MB / 286.1 MB Error: Internal error NBResolveSingularities.noIndexReduction failed. (4|4) Unmatched Variables *************************** [DISC] (1) protected Integer Adder.AND.G2.lh slice: {} [DISC] (1) protected Integer Adder.XOR.G2.lh slice: {} [DISC] (1) protected discrete Real Adder.XOR.G2.t_next slice: {} [DISC] (1) protected discrete Real Adder.AND.G2.t_next slice: {} (2|4) Unmatched Equations *************************** [ALGO] (6) ($RES_SIM_1) [----] when {initial(), ((Adder.AND.G2.tLH > 0.0 or Adder.AND.G2.tHL > 0.0) and change(Adder.AND.G2.x)) and not initial()} then [----] Adder.AND.G2.y_old := if initial() or $PRE.Adder.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder.AND.G2.y0 else $PRE.Adder.AND.G2.y; [----] Adder.AND.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}})[Adder.AND.G2.y_old, Adder.AND.G2.x]; [----] Adder.AND.G2.delayTime := if Adder.AND.G2.lh > 0 then Adder.AND.G2.tLH else if Adder.AND.G2.lh < 0 then Adder.AND.G2.tHL else 0.0; [----] Adder.AND.G2.t_next := time + Adder.AND.G2.delayTime; [----] if Adder.AND.G2.lh == 0 or $FUN_1 < 1e-60 then [----] Adder.AND.G2.y_auxiliary := Adder.AND.G2.x; [----] end if; [----] elsewhen time >= Adder.AND.G2.t_next then [----] Adder.AND.G2.y_auxiliary := Adder.AND.G2.x; [----] end when; [----] Adder.AND.G2.y := if Adder.AND.G2.tLH > 0.0 or Adder.AND.G2.tHL > 0.0 then Adder.AND.G2.y_auxiliary else Adder.AND.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_0) [----] when {initial(), ((Adder.XOR.G2.tLH > 0.0 or Adder.XOR.G2.tHL > 0.0) and change(Adder.XOR.G2.x)) and not initial()} then [----] Adder.XOR.G2.y_old := if initial() or $PRE.Adder.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder.XOR.G2.y0 else $PRE.Adder.XOR.G2.y; [----] Adder.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}})[Adder.XOR.G2.y_old, Adder.XOR.G2.x]; [----] Adder.XOR.G2.delayTime := if Adder.XOR.G2.lh > 0 then Adder.XOR.G2.tLH else if Adder.XOR.G2.lh < 0 then Adder.XOR.G2.tHL else 0.0; [----] Adder.XOR.G2.t_next := time + Adder.XOR.G2.delayTime; [----] if Adder.XOR.G2.lh == 0 or $FUN_2 < 1e-60 then [----] Adder.XOR.G2.y_auxiliary := Adder.XOR.G2.x; [----] end if; [----] elsewhen time >= Adder.XOR.G2.t_next then [----] Adder.XOR.G2.y_auxiliary := Adder.XOR.G2.x; [----] end when; [----] Adder.XOR.G2.y := if Adder.XOR.G2.tLH > 0.0 or Adder.XOR.G2.tHL > 0.0 then Adder.XOR.G2.y_auxiliary else Adder.XOR.G2.x; slice: {4, 5}