Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_4.0.0_Modelica.Electrical.Digital.Examples.Counter3.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.Counter3,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|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.0.0_Modelica.Electrical.Digital.Examples.Counter3") translateModel(Modelica.Electrical.Digital.Examples.Counter3,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|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.0.0_Modelica.Electrical.Digital.Examples.Counter3") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.00107/0.00107, allocations: 115.8 kB / 17.75 MB, free: 5.301 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.001025/0.001025, allocations: 189.9 kB / 18.68 MB, free: 4.379 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.337/1.337, allocations: 222.9 MB / 242.4 MB, free: 15.14 MB / 206.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 3.522e-05/3.523e-05, allocations: 2.281 kB / 351.9 MB, free: 3.273 MB / 286.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.Counter3): time 0.004275/0.004318, allocations: 3.557 MB / 355.5 MB, free: 15.7 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.00338/0.007711, allocations: 1.688 MB / 357.2 MB, free: 14 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002055/0.007931, allocations: 19.88 kB / 357.2 MB, free: 13.98 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0003299/0.008267, allocations: 130.9 kB / 357.3 MB, free: 13.86 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0002256/0.00853, allocations: 95.03 kB / 357.4 MB, free: 13.76 MB / 302.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.0009129/0.009449, allocations: 0.5033 MB / 357.9 MB, free: 13.26 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.001174/0.01063, allocations: 1.3 MB / 359.2 MB, free: 11.95 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0007743/0.01142, allocations: 0.6058 MB / 359.8 MB, free: 11.32 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.001608/0.01303, allocations: 1.56 MB / 361.4 MB, free: 9.758 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0007934/0.01384, allocations: 0.6772 MB / 362.1 MB, free: 9.078 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0002322/0.01408, allocations: 156 kB / 362.2 MB, free: 8.926 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0002318/0.01432, allocations: 156 kB / 362.4 MB, free: 8.773 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.001106/0.01543, allocations: 1.392 MB / 363.8 MB, free: 7.367 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0004104/0.01585, allocations: 0.7237 MB / 364.5 MB, free: 6.633 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0001712/0.01603, allocations: 147.6 kB / 364.6 MB, free: 6.488 MB / 302.1 MB Notification: Performance of FrontEnd: time 0.0001106/0.01614, allocations: 39.62 kB / 364.7 MB, free: 6.449 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: 237 (231) * Number of variables: 237 (177) Notification: Performance of Bindings: time 0.004495/0.02064, allocations: 4.476 MB / 369.1 MB, free: 1.824 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.0003465/0.021, allocations: 307.3 kB / 369.4 MB, free: 1.523 MB / 302.1 MB Notification: Performance of Early Inline: time 0.2129/0.2339, allocations: 3.07 MB / 372.5 MB, free: 17.02 MB / 302.1 MB Notification: Performance of simplify1: time 0.000444/0.2344, allocations: 200.8 kB / 372.7 MB, free: 17.02 MB / 302.1 MB Notification: Performance of Alias: time 0.004567/0.2389, allocations: 3.697 MB / 376.4 MB, free: 16.21 MB / 302.1 MB Notification: Performance of simplify2: time 0.0003605/0.2393, allocations: 162.1 kB / 376.6 MB, free: 16.21 MB / 302.1 MB Notification: Performance of Events: time 0.0007337/0.2401, allocations: 0.5772 MB / 377.1 MB, free: 15.98 MB / 302.1 MB Notification: Performance of Detect States: time 0.0015/0.2416, allocations: 1.611 MB / 378.8 MB, free: 14.93 MB / 302.1 MB Notification: Performance of Partitioning: time 0.001573/0.2432, allocations: 1.293 MB / 380 MB, free: 14.3 MB / 302.1 MB Notification: Performance of Causalize: time 0.007311/0.2505, allocations: 5.886 MB / 385.9 MB, free: 12.07 MB / 302.1 MB Notification: Performance of After Index Reduction Inline: time 0.003292/0.2538, allocations: 2.943 MB / 388.9 MB, free: 10.24 MB / 302.1 MB Notification: Performance of Inline: time 0.00501/0.2588, allocations: 5.032 MB / 393.9 MB, free: 7.145 MB / 302.1 MB Notification: Performance of Partitioning: time 0.0002959/0.2591, allocations: 285.6 kB / 394.2 MB, free: 6.961 MB / 302.1 MB Notification: Performance of Cleanup: time 0.000307/0.2594, allocations: 257.9 kB / 394.4 MB, free: 6.805 MB / 302.1 MB Notification: Performance of Causalize: time 0.00725/0.2667, allocations: 8.335 MB / 402.8 MB, free: 1.121 MB / 302.1 MB Notification: Performance of Tearing: time 1.133e-05/0.2667, allocations: 0 / 402.8 MB, free: 1.121 MB / 302.1 MB Notification: Performance of Initialization: time 1.042e-06/0.2667, allocations: 0 / 402.8 MB, free: 1.121 MB / 302.1 MB Notification: Performance of Tearing: time 1.989e-05/0.2668, allocations: 0 / 402.8 MB, free: 1.121 MB / 302.1 MB Notification: Performance of Categorize: time 4.166e-05/0.2668, allocations: 8 kB / 402.8 MB, free: 1.113 MB / 302.1 MB Error: Internal error NBSolve.solveStrongComponent failed with status = Solve.UNSOLVABLE while trying to solve following strong component: BLOCK: Sliced Component (status = Solve.UNPROCESSED) ------------------------------------------------------ ### Variable: Counter.FF1.And1.auxiliary[1 + $i1] ### Equation: [FOR-] (2) ($RES_SIM_102) [----] for $i1 in 1:2 loop [----] [SCAL] (1) Counter.FF1.And1.auxiliary[$i1 + 1] = ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}})[Counter.FF1.And1.auxiliary[$i1], Counter.FF1.And1.x[$i1 + 1]] ($RES_SIM_103) [----] end for; slice: {1, 0}