Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.1_Modelica.Electrical.Digital.Examples.DLATREG.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.DLATREG,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.Electrical.Digital.Examples.DLATREG")
translateModel(Modelica.Electrical.Digital.Examples.DLATREG,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.Electrical.Digital.Examples.DLATREG")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001322/0.001322, allocations: 107.3 kB / 16.42 MB, free: 5.973 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.001323/0.001323, allocations: 191.3 kB / 17.36 MB, free: 5.566 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.223/1.223, allocations: 205.1 MB / 223.2 MB, free: 12.23 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.15e-05/2.151e-05, allocations: 7.203 kB / 327.2 MB, free: 3.332 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.DLATREG): time 0.002253/0.002283, allocations: 1.735 MB / 328.9 MB, free: 1.586 MB / 270.1 MB
Notification: Performance of NFInst.instExpressions: time 0.00193/0.004223, allocations: 1.007 MB / 329.9 MB, free: 0.5703 MB / 270.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 6.691e-05/0.004301, allocations: 4 kB / 329.9 MB, free: 0.5664 MB / 270.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.0001365/0.004443, allocations: 27.78 kB / 330 MB, free: 0.5391 MB / 270.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0001209/0.004577, allocations: 35.72 kB / 330 MB, free: 0.5039 MB / 270.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.0002484/0.004832, allocations: 103.8 kB / 330.1 MB, free: 412 kB / 270.1 MB
Notification: Performance of NFFlatten.flatten: time 0.0005287/0.005369, allocations: 0.4953 MB / 330.6 MB, free: 15.91 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.0001544/0.005532, allocations: 73.64 kB / 330.7 MB, free: 15.83 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0006863/0.006225, allocations: 0.7174 MB / 331.4 MB, free: 15.11 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.00018/0.006415, allocations: 127.6 kB / 331.5 MB, free: 14.99 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 6.399e-05/0.006485, allocations: 35.92 kB / 331.5 MB, free: 14.95 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 5.467e-05/0.006545, allocations: 28 kB / 331.6 MB, free: 14.93 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.0002815/0.006832, allocations: 328.9 kB / 331.9 MB, free: 14.6 MB / 286.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0001077/0.006948, allocations: 185.4 kB / 332.1 MB, free: 14.42 MB / 286.1 MB
Notification: Performance of NFVerifyModel.verify: time 7.285e-05/0.007026, allocations: 43.94 kB / 332.1 MB, free: 14.38 MB / 286.1 MB
Notification: Performance of FrontEnd: time 2.583e-05/0.007056, allocations: 11.88 kB / 332.1 MB, free: 14.36 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.001121/0.008182, allocations: 1.139 MB / 333.3 MB, free: 13.12 MB / 286.1 MB
Notification: Performance of FunctionAlias: time 0.0001443/0.008332, allocations: 115.8 kB / 333.4 MB, free: 13.01 MB / 286.1 MB
Notification: Performance of Early Inline: time 0.000825/0.009165, allocations: 0.8942 MB / 334.3 MB, free: 12.09 MB / 286.1 MB
Notification: Performance of simplify1: time 1.16e-05/0.009183, allocations: 4 kB / 334.3 MB, free: 12.08 MB / 286.1 MB
Notification: Performance of Alias: time 0.0007558/0.009944, allocations: 0.6074 MB / 334.9 MB, free: 11.42 MB / 286.1 MB
Notification: Performance of simplify2: time 9.197e-06/0.009964, allocations: 7.969 kB / 334.9 MB, free: 11.41 MB / 286.1 MB
Notification: Performance of Events: time 0.0008695/0.01084, allocations: 0.8328 MB / 335.7 MB, free: 10.39 MB / 286.1 MB
Notification: Performance of Detect States: time 0.0006274/0.01148, allocations: 395.8 kB / 336.1 MB, free: 9.984 MB / 286.1 MB
Notification: Performance of Partitioning: time 0.0002841/0.01177, allocations: 245.6 kB / 336.3 MB, free: 9.738 MB / 286.1 MB
Error: Internal error NBResolveSingularities.noIndexReduction failed.
(2|2) Unmatched Variables
***************************
        [DISC] (1) protected Integer dLATREG.dLATR.enable_flag (start = 0)
         slice: {}
        [DISC] (1) protected Integer dLATREG.dLATR.reset_flag (start = 1)
         slice: {}

(1|2) Unmatched Equations
***************************
        [ALGO] (8) ($RES_SIM_0)
[----] if enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'1' or enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'H' then
[----]   dLATREG.dLATR.enable_flag := 1;
[----] elseif enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'0' or enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'L' then
[----]   dLATREG.dLATR.enable_flag := 0;
[----] elseif enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then
[----]   dLATREG.dLATR.enable_flag := 3;
[----] elseif true then
[----]   dLATREG.dLATR.enable_flag := 2;
[----] end if;

[----] dLATREG.dLATR.reset_flag := dLATREG.dLATR.ResetMap[reset.y];

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

[----] dLATREG.dLATR.next_assign_val := dLATREG.dLATR.nextstate;
[----] dLATREG.dLATR.dataOut := dLATREG.dLATR.nextstate;

         slice: {6, 7}