Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.2_Modelica.Electrical.Digital.Examples.DFFREG.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.DFFREG,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.Electrical.Digital.Examples.DFFREG")
translateModel(Modelica.Electrical.Digital.Examples.DFFREG,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.Electrical.Digital.Examples.DFFREG")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001249/0.001249, allocations: 109.1 kB / 17.75 MB, free: 5.348 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.001273/0.001273, allocations: 184.2 kB / 18.68 MB, free: 4.426 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.277/1.277, allocations: 205.1 MB / 224.6 MB, free: 12.24 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 1.405e-05/1.405e-05, allocations: 2.281 kB / 328.5 MB, free: 3.344 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.DFFREG): time 0.002225/0.002247, allocations: 1.743 MB / 330.2 MB, free: 1.59 MB / 270.1 MB
Notification: Performance of NFInst.instExpressions: time 0.00197/0.004229, allocations: 1.019 MB / 331.3 MB, free: 0.5625 MB / 270.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 7.098e-05/0.004311, allocations: 0 / 331.3 MB, free: 0.5625 MB / 270.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.0001556/0.004475, allocations: 31.72 kB / 331.3 MB, free: 0.5312 MB / 270.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0001311/0.00462, allocations: 39.72 kB / 331.3 MB, free: 0.4922 MB / 270.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.0002781/0.004906, allocations: 107.8 kB / 331.4 MB, free: 396 kB / 270.1 MB
Notification: Performance of NFFlatten.flatten: time 0.0005439/0.005458, allocations: 499.3 kB / 331.9 MB, free: 15.9 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.000166/0.005635, allocations: 73.64 kB / 332 MB, free: 15.82 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0008686/0.00651, allocations: 0.9631 MB / 333 MB, free: 14.86 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0002152/0.006736, allocations: 143.5 kB / 333.1 MB, free: 14.72 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 6.974e-05/0.006812, allocations: 28 kB / 333.1 MB, free: 14.69 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 6.303e-05/0.006881, allocations: 32 kB / 333.2 MB, free: 14.66 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.0003228/0.00721, allocations: 344.8 kB / 333.5 MB, free: 14.32 MB / 286.1 MB
Notification: Performance of replaceArrayConstructors: time 0.000123/0.00734, allocations: 181.3 kB / 333.7 MB, free: 14.14 MB / 286.1 MB
Notification: Performance of NFVerifyModel.verify: time 8.569e-05/0.007431, allocations: 47.94 kB / 333.7 MB, free: 14.09 MB / 286.1 MB
Notification: Performance of FrontEnd: time 2.999e-05/0.007467, allocations: 7.938 kB / 333.7 MB, free: 14.09 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: 40 (19)
 * Number of variables: 40 (25)
Notification: Performance of Bindings: time 0.001206/0.008678, allocations: 1.131 MB / 334.9 MB, free: 12.85 MB / 286.1 MB
Notification: Performance of FunctionAlias: time 0.0001816/0.008867, allocations: 123.8 kB / 335 MB, free: 12.73 MB / 286.1 MB
Notification: Performance of Early Inline: time 0.0009513/0.009826, allocations: 0.8786 MB / 335.9 MB, free: 11.82 MB / 286.1 MB
Notification: Performance of simplify1: time 1.43e-05/0.00985, allocations: 11.92 kB / 335.9 MB, free: 11.81 MB / 286.1 MB
Notification: Performance of Alias: time 0.0008255/0.01068, allocations: 0.6035 MB / 336.5 MB, free: 11.15 MB / 286.1 MB
Notification: Performance of simplify2: time 1.133e-05/0.0107, allocations: 7.984 kB / 336.5 MB, free: 11.14 MB / 286.1 MB
Notification: Performance of Events: time 0.0008128/0.01152, allocations: 0.9054 MB / 337.4 MB, free: 10.02 MB / 286.1 MB
Notification: Performance of Detect States: time 0.0004438/0.01197, allocations: 411.8 kB / 337.8 MB, free: 9.605 MB / 286.1 MB
Notification: Performance of Partitioning: time 0.0002839/0.01227, allocations: 256 kB / 338 MB, free: 9.348 MB / 286.1 MB
Error: Internal error NBResolveSingularities.noIndexReduction failed.
(2|2) Unmatched Variables
***************************
        [DISC] (1) protected Integer dFFREG.dFFR.clock_flag (start = 0)
         slice: {}
        [DISC] (1) protected Integer dFFREG.dFFR.reset_flag (start = 1)
         slice: {}

(1|2) Unmatched Equations
***************************
        [ALGO] (8) ($RES_SIM_0)
[----] if change(dFFREG.dFFR.clock) or change(dFFREG.dFFR.reset) then
[----]   if change(dFFREG.dFFR.clock) then
[----]     if initial() then
[----]       dFFREG.dFFR.clock_flag := ({0, 0, 0, 2, 0, 0, 0, 2, 0})[dFFREG.dFFR.clock];
[----]     elseif true then
[----]       dFFREG.dFFR.clock_flag := ({{0, 0, 0, 2, 0, 0, 0, 2, 0}, {0, 0, 0, 2, 0, 0, 0, 2, 0}, {2, 2, 0, 1, 2, 2, 0, 1, 2}, {0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 2, 0, 0, 0, 2, 0}, {0, 0, 0, 2, 0, 0, 0, 2, 0}, {2, 2, 0, 1, 2, 2, 0, 1, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 2, 0, 0, 0, 2, 0}})[$PRE.dFFREG.dFFR.clock, dFFREG.dFFR.clock];
[----]     end if;
[----]   end if;

[----]   dFFREG.dFFR.reset_flag := dFFREG.dFFR.ResetMap[dFFREG.dFFR.reset];

[----]   for i in 1:2 loop
[----]     if dFFREG.dFFR.reset_flag == 1 then
[----]       dFFREG.dFFR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'U';
[----]     elseif dFFREG.dFFR.reset_flag == 2 then
[----]       dFFREG.dFFR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'0';
[----]     elseif dFFREG.dFFR.reset_flag == 3 then
[----]       if dFFREG.dFFR.clock_flag == 0 then
[----]         #UNKNOWN STATEMENT#;
[----]       elseif dFFREG.dFFR.clock_flag == 1 then
[----]         dFFREG.dFFR.nextstate[i] := ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', 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.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}})[dFFREG.dFFR.dataIn[i], Modelica.Electrical.Digital.Interfaces.Strength.'S_X01'];
[----]       elseif true then
[----]         if dFFREG.dFFR.next_assign_val[i] == ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', 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.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}})[dFFREG.dFFR.dataIn[i], Modelica.Electrical.Digital.Interfaces.Strength.'S_X01'] or dFFREG.dFFR.next_assign_val[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' then
[----]           #UNKNOWN STATEMENT#;
[----]         elseif dFFREG.dFFR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' then
[----]           dFFREG.dFFR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'U';
[----]         elseif true then
[----]           dFFREG.dFFR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'X';
[----]         end if;
[----]       end if;
[----]     elseif dFFREG.dFFR.reset_flag == 4 then
[----]       if dFFREG.dFFR.next_assign_val[i] == Modelica.Electrical.Digital.Interfaces.Logic.'0' and ((dFFREG.dFFR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'0' or dFFREG.dFFR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'L') or dFFREG.dFFR.clock_flag == 0) then
[----]         #UNKNOWN STATEMENT#;
[----]       elseif (dFFREG.dFFR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'0' or dFFREG.dFFR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'L') and dFFREG.dFFR.clock_flag == 1 then
[----]         dFFREG.dFFR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'0';
[----]       elseif dFFREG.dFFR.next_assign_val[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' and not dFFREG.dFFR.clock_flag == 1 or dFFREG.dFFR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' and not dFFREG.dFFR.clock_flag == 0 then
[----]         dFFREG.dFFR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'U';
[----]       elseif true then
[----]         dFFREG.dFFR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'X';
[----]       end if;
[----]     end if;
[----]   end for;
[----] end if;

[----] dFFREG.dFFR.next_assign_val := dFFREG.dFFR.nextstate;
[----] dFFREG.dFFR.dataOut := dFFREG.dFFR.nextstate;

         slice: {6, 7}