Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_4.1.0_Modelica.Electrical.Digital.Examples.FullAdder.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo): time 0.00154/0.00154, allocations: 99.59 kB / 21.2 MB, free: 0.6406 MB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo): time 0.001637/0.001637, allocations: 218.9 kB / 24.49 MB, free: 3.93 MB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo): time 1.483/1.483, allocations: 230.6 MB / 258.3 MB, free: 7.789 MB / 206.1 MB " [Timeout remaining time 178] Using package Modelica with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo) Using package Complex with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo) Using package ModelicaServices with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo) Running command: translateModel(Modelica.Electrical.Digital.Examples.FullAdder,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5065,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|Counter.FF1.RS1.TD1.x|Counter.FF1.RS2.TD1.x|Counter.FF2.RS1.TD1.x|Counter.FF2.RS2.TD1.x|Counter.FF3.RS1.TD1.x|Counter.FF3.RS2.TD1.x",fileNamePrefix="Modelica_4.1.0_Modelica.Electrical.Digital.Examples.FullAdder") translateModel(Modelica.Electrical.Digital.Examples.FullAdder,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5065,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|Counter.FF1.RS1.TD1.x|Counter.FF1.RS2.TD1.x|Counter.FF2.RS1.TD1.x|Counter.FF2.RS2.TD1.x|Counter.FF3.RS1.TD1.x|Counter.FF3.RS2.TD1.x",fileNamePrefix="Modelica_4.1.0_Modelica.Electrical.Digital.Examples.FullAdder") [Timeout 660] "Notification: Performance of FrontEnd - Absyn->SCode: time 2.867e-05/2.867e-05, allocations: 2.281 kB / 378.9 MB, free: 2.531 MB / 302.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.FullAdder): time 0.1967/0.1967, allocations: 4.218 MB / 383.1 MB, free: 12.53 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.004249/0.2009, allocations: 2.148 MB / 385.3 MB, free: 11.78 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0003906/0.2013, allocations: 27.75 kB / 385.3 MB, free: 11.76 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0004344/0.2018, allocations: 199.1 kB / 385.5 MB, free: 11.63 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 0.000405/0.2022, allocations: 187.1 kB / 385.7 MB, free: 11.49 MB / 302.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.001439/0.2036, allocations: 0.7487 MB / 386.4 MB, free: 10.98 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.002016/0.2056, allocations: 2.035 MB / 388.5 MB, free: 9.934 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0007661/0.2064, allocations: 0.4908 MB / 389 MB, free: 9.609 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.003359/0.2098, allocations: 2.636 MB / 391.6 MB, free: 8.969 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.001513/0.2113, allocations: 1.093 MB / 392.7 MB, free: 8.508 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0004684/0.2117, allocations: 232.4 kB / 392.9 MB, free: 8.508 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0004692/0.2122, allocations: 235.4 kB / 393.2 MB, free: 8.508 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.00232/0.2145, allocations: 2.84 MB / 396 MB, free: 6.562 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0007714/0.2153, allocations: 1.395 MB / 397.4 MB, free: 5.574 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0002709/0.2156, allocations: 90.88 kB / 397.5 MB, free: 5.574 MB / 302.1 MB Notification: Performance of FrontEnd: time 0.0001886/0.2158, allocations: 55.56 kB / 397.5 MB, free: 5.543 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: 324 (294) * Number of variables: 324 (250) Notification: Performance of [SIM] Bindings: time 0.00625/0.222, allocations: 6.906 MB / 404.4 MB, free: 1.246 MB / 302.1 MB Notification: Performance of [SIM] FunctionAlias: time 0.001209/0.2232, allocations: 1.191 MB / 405.6 MB, free: 356 kB / 302.1 MB Notification: Performance of [SIM] Early Inline: time 0.006656/0.2299, allocations: 5.754 MB / 411.4 MB, free: 12.42 MB / 318.1 MB Notification: Performance of [SIM] Simplify 1: time 0.001947/0.2318, allocations: 0.8321 MB / 412.2 MB, free: 11.56 MB / 318.1 MB Notification: Performance of [SIM] Alias: time 0.007973/0.2398, allocations: 5.257 MB / 417.5 MB, free: 5.918 MB / 318.1 MB Notification: Performance of [SIM] Simplify 2: time 0.001497/0.2413, allocations: 0.715 MB / 418.2 MB, free: 5.125 MB / 318.1 MB Notification: Performance of [SIM] Remove Stream: time 0.0009594/0.2422, allocations: 0.6283 MB / 418.8 MB, free: 4.457 MB / 318.1 MB Notification: Performance of [SIM] Detect States: time 0.002724/0.245, allocations: 1.709 MB / 420.5 MB, free: 2.688 MB / 318.1 MB Notification: Performance of [SIM] Events: time 0.001742/0.2467, allocations: 1.255 MB / 421.8 MB, free: 1.383 MB / 318.1 MB Notification: Performance of [SIM] Partitioning: time 0.003879/0.2506, allocations: 3.018 MB / 424.8 MB, free: 14.31 MB / 334.1 MB Notification: Performance of [SIM] Causalize: time 0.007027/0.2576, allocations: 5.178 MB / 430 MB, free: 9.031 MB / 334.1 MB Notification: Performance of [SIM] After Index Reduction Inline: time 0.006591/0.2642, allocations: 5.654 MB / 435.6 MB, free: 3.371 MB / 334.1 MB Notification: Performance of [INI] Simplify: time 0.004944/0.2691, allocations: 2.516 MB / 438.1 MB, free: 0.6445 MB / 334.1 MB Notification: Performance of [INI] Inline: time 0.01044/0.2796, allocations: 8.532 MB / 446.7 MB, free: 8.09 MB / 350.1 MB Notification: Performance of [INI] Partitioning: time 0.000465/0.2801, allocations: 119.8 kB / 446.8 MB, free: 7.945 MB / 350.1 MB Notification: Performance of [INI] Cleanup: time 0.003069/0.2831, allocations: 1.919 MB / 448.7 MB, free: 6.023 MB / 350.1 MB Notification: Performance of [INI] Causalize: time 0.01971/0.3028, allocations: 12.91 MB / 461.6 MB, free: 8.906 MB / 366.1 MB Notification: Performance of [INI] Tearing: time 0.0001625/0.303, allocations: 188 kB / 461.8 MB, free: 8.723 MB / 366.1 MB Notification: Performance of [SIM] Initialization: time 2.855e-06/0.303, allocations: 0 / 461.8 MB, free: 8.723 MB / 366.1 MB Notification: Performance of [SIM] Remove Dummies: time 5.674e-05/0.3031, allocations: 6.312 kB / 461.8 MB, free: 8.715 MB / 366.1 MB Notification: Performance of [SIM] Tearing: time 0.0001074/0.3032, allocations: 148 kB / 462 MB, free: 8.57 MB / 366.1 MB Notification: Performance of [SIM] Categorize: time 6.985e-05/0.3032, allocations: 8 kB / 462 MB, free: 8.562 MB / 366.1 MB Error: Internal error NFExpression.makeZero failed for: enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-') Error: Internal error NBSolve.solveStrongComponent failed with status = Solve.UNSOLVABLE while trying to solve following strong component: BLOCK: Multi Strong Component (status = Solve.UNPROCESSED, size = 15) ----------------------------------------------------------------------- ### Variables: [DISC] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-') Adder1.Adder2.AND.G2.y (fixed = true, start = Modelica.Electrical.Digital.Interfaces.Logic.'U') [PRE-] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-') $PRE.Adder1.Adder2.AND.G2.y [DISC] (1) Boolean $SEV_29 [DISC] (1) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-') Adder1.Adder2.AND.G2.y_auxiliary (fixed = true, start = Adder1.Adder2.AND.G2.y0) [DISC] (1) Boolean $SEV_28 [DISC] (1) Boolean $SEV_27 [DISC] (1) Boolean $SEV_26 [DISC] (1) protected discrete Real Adder1.Adder2.AND.G2.t_next [DISC] (1) Boolean $SEV_25 [DISC] (1) Boolean $SEV_24 [DISC] (1) Boolean $SEV_23 [DISC] (1) protected Integer Adder1.Adder2.AND.G2.lh [DISC] (1) protected Real Adder1.Adder2.AND.G2.delayTime [DISC] (1) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-') Adder1.Adder2.AND.G2.y_old (fixed = true, start = Adder1.Adder2.AND.G2.y0) [DISC] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-') $TEV_45 ### Equation: [ALGO] (15) ($RES_SIM_4) [----] $SEV_28 := time >= Adder1.Adder2.AND.G2.t_next; [----] $SEV_27 := Adder1.Adder2.AND.G2.lh == 0 or abs(Adder1.Adder2.AND.G2.delayTime) < 2.2250738585072014e-308; [----] $SEV_26 := Adder1.Adder2.AND.G2.lh < 0; [----] $SEV_25 := Adder1.Adder2.AND.G2.lh > 0; [----] $TEV_45 := $PRE.Adder1.Adder2.AND.G2.y; [----] $SEV_24 := true; [----] Adder1.Adder2.AND.G2.y_old := if $SEV_24 then Adder1.Adder2.AND.G2.y0 else $TEV_45; [----] Adder1.Adder2.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}})[Adder1.Adder2.AND.G2.y_old, Adder1.Adder2.AND.G1.y]; [----] Adder1.Adder2.AND.G2.delayTime := if $SEV_25 then Adder1.Adder2.AND.G2.tLH else if $SEV_26 then Adder1.Adder2.AND.G2.tHL else 0.0; [----] Adder1.Adder2.AND.G2.t_next := time + Adder1.Adder2.AND.G2.delayTime; [----] if $SEV_27 then [----] Adder1.Adder2.AND.G2.y_auxiliary := Adder1.Adder2.AND.G1.y; [----] end if; [----] $SEV_29 := Adder1.Adder2.AND.G2.tLH > 0.0 or Adder1.Adder2.AND.G2.tHL > 0.0; [----] Adder1.Adder2.AND.G2.y := if $SEV_29 then Adder1.Adder2.AND.G2.y_auxiliary else Adder1.Adder2.AND.G1.y; [----] $PRE.Adder1.Adder2.AND.G1.y := Adder1.Adder2.AND.G1.y; [----] $SEV_23 := false; " [Timeout remaining time 660] [Calling sys.exit(0), Time elapsed: 2.6471563214436173] Failed to read output from testmodel.py, exit status != 0: ['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', 'Counter.FF1.RS1.TD1.x', 'Counter.FF1.RS2.TD1.x', 'Counter.FF2.RS1.TD1.x', 'Counter.FF2.RS2.TD1.x', 'Counter.FF3.RS1.TD1.x', 'Counter.FF3.RS2.TD1.x'] 0.31227061804383993 0.32718393 0.10832393700000001 Calling exit ...