Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_trunk_Modelica.Electrical.Digital.Examples.Counter3.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices trunk/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex trunk/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica trunk/package.mo", uses=false) Using package Modelica with version trunk (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica trunk/package.mo) Using package Complex with version trunk (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex trunk/package.mo) Using package ModelicaServices with version trunk (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices trunk/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_trunk_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_trunk_Modelica.Electrical.Digital.Examples.Counter3") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices trunk/package.mo): time 0.00127/0.00127, allocations: 113.9 kB / 18.47 MB, free: 4.586 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex trunk/package.mo): time 0.001325/0.001324, allocations: 206.8 kB / 19.41 MB, free: 3.645 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica trunk/package.mo): time 1.377/1.377, allocations: 227.4 MB / 247.6 MB, free: 10.5 MB / 206.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.355e-05/2.356e-05, allocations: 4.531 kB / 359.3 MB, free: 13.02 MB / 302.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.Counter3): time 0.003758/0.00379, allocations: 3.589 MB / 362.9 MB, free: 9.41 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.00326/0.007063, allocations: 1.715 MB / 364.6 MB, free: 7.688 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002097/0.007286, allocations: 11.94 kB / 364.6 MB, free: 7.676 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0003193/0.007613, allocations: 134.8 kB / 364.8 MB, free: 7.543 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0002195/0.007841, allocations: 99.09 kB / 364.9 MB, free: 7.445 MB / 302.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.0008804/0.00876, allocations: 499.5 kB / 365.4 MB, free: 6.957 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.001063/0.009831, allocations: 1.304 MB / 366.7 MB, free: 5.652 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0007017/0.01054, allocations: 0.6058 MB / 367.3 MB, free: 5.023 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.001495/0.01204, allocations: 1.563 MB / 368.8 MB, free: 3.457 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0007528/0.01281, allocations: 0.685 MB / 369.5 MB, free: 2.77 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0002198/0.01304, allocations: 156 kB / 369.7 MB, free: 2.617 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0002197/0.01326, allocations: 156 kB / 369.8 MB, free: 2.465 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.001018/0.01429, allocations: 1.396 MB / 371.2 MB, free: 1.055 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0003869/0.01468, allocations: 0.712 MB / 371.9 MB, free: 340 kB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0001553/0.01484, allocations: 151.6 kB / 372.1 MB, free: 188 kB / 302.1 MB Notification: Performance of FrontEnd: time 0.0001082/0.01496, allocations: 39.62 kB / 372.1 MB, free: 148 kB / 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.2177/0.2327, allocations: 4.442 MB / 376.6 MB, free: 13.23 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.0003582/0.2331, allocations: 307.1 kB / 376.9 MB, free: 13.2 MB / 302.1 MB Notification: Performance of Early Inline: time 0.003576/0.2366, allocations: 3.078 MB / 379.9 MB, free: 11.27 MB / 302.1 MB Notification: Performance of simplify1: time 0.0004383/0.2371, allocations: 196.5 kB / 380.1 MB, free: 11.2 MB / 302.1 MB Notification: Performance of Alias: time 0.005082/0.2422, allocations: 3.7 MB / 383.8 MB, free: 9.051 MB / 302.1 MB Notification: Performance of simplify2: time 0.0003661/0.2426, allocations: 162.6 kB / 384 MB, free: 8.996 MB / 302.1 MB Notification: Performance of Events: time 0.0009447/0.2435, allocations: 0.5764 MB / 384.6 MB, free: 8.672 MB / 302.1 MB Notification: Performance of Detect States: time 0.001788/0.2453, allocations: 1.611 MB / 386.2 MB, free: 7.59 MB / 302.1 MB Notification: Performance of Partitioning: time 0.001577/0.2469, allocations: 1.285 MB / 387.5 MB, free: 6.953 MB / 302.1 MB Notification: Performance of Causalize: time 0.007079/0.254, allocations: 5.896 MB / 393.4 MB, free: 4.699 MB / 302.1 MB Notification: Performance of After Index Reduction Inline: time 0.003118/0.2571, allocations: 2.947 MB / 396.3 MB, free: 2.773 MB / 302.1 MB Notification: Performance of Inline: time 0.005101/0.2622, allocations: 5.033 MB / 401.3 MB, free: 15.51 MB / 318.1 MB Notification: Performance of Partitioning: time 0.0003115/0.2626, allocations: 286.6 kB / 401.6 MB, free: 15.32 MB / 318.1 MB Notification: Performance of Cleanup: time 0.00031/0.2629, allocations: 252.5 kB / 401.9 MB, free: 15.15 MB / 318.1 MB Notification: Performance of Causalize: time 0.009043/0.2719, allocations: 8.335 MB / 410.2 MB, free: 7.707 MB / 318.1 MB Notification: Performance of Tearing: time 1.16e-05/0.272, allocations: 0 / 410.2 MB, free: 7.707 MB / 318.1 MB Notification: Performance of Initialization: time 1.844e-06/0.272, allocations: 0 / 410.2 MB, free: 7.707 MB / 318.1 MB Notification: Performance of Tearing: time 2.256e-05/0.272, allocations: 7.828 kB / 410.2 MB, free: 7.703 MB / 318.1 MB Notification: Performance of Categorize: time 3.968e-05/0.272, allocations: 8 kB / 410.2 MB, free: 7.695 MB / 318.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}