Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.2_Modelica.Electrical.Digital.Examples.DLATREGSRH.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.DLATREGSRH,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.Electrical.Digital.Examples.DLATREGSRH")
translateModel(Modelica.Electrical.Digital.Examples.DLATREGSRH,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.Electrical.Digital.Examples.DLATREGSRH")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.00128/0.00128, allocations: 115.4 kB / 17.75 MB, free: 5.18 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.001307/0.001307, allocations: 192.6 kB / 18.68 MB, free: 4.254 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.295/1.295, allocations: 205.1 MB / 224.6 MB, free: 12.24 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 1.761e-05/1.762e-05, allocations: 3.406 kB / 328.5 MB, free: 3.348 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.DLATREGSRH): time 0.002462/0.002487, allocations: 1.788 MB / 330.3 MB, free: 1.551 MB / 270.1 MB
Notification: Performance of NFInst.instExpressions: time 0.001994/0.004493, allocations: 1.081 MB / 331.4 MB, free: 472 kB / 270.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 6.188e-05/0.004566, allocations: 4 kB / 331.4 MB, free: 468 kB / 270.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.00012/0.004692, allocations: 31.72 kB / 331.4 MB, free: 436 kB / 270.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0002177/0.004922, allocations: 171.5 kB / 331.6 MB, free: 264 kB / 270.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.0002521/0.005182, allocations: 143.7 kB / 331.7 MB, free: 120 kB / 270.1 MB
Notification: Performance of NFFlatten.flatten: time 0.0006174/0.005808, allocations: 0.6593 MB / 332.4 MB, free: 15.46 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.0001513/0.005969, allocations: 86.22 kB / 332.5 MB, free: 15.37 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0008374/0.006813, allocations: 0.9748 MB / 333.4 MB, free: 14.39 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0002079/0.007031, allocations: 175.3 kB / 333.6 MB, free: 14.22 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 7.213e-05/0.007111, allocations: 36 kB / 333.6 MB, free: 14.19 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 6.541e-05/0.007184, allocations: 40 kB / 333.7 MB, free: 14.15 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.0003552/0.007544, allocations: 420.2 kB / 334.1 MB, free: 13.73 MB / 286.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0001215/0.007671, allocations: 193.2 kB / 334.3 MB, free: 13.54 MB / 286.1 MB
Notification: Performance of NFVerifyModel.verify: time 7.945e-05/0.007756, allocations: 51.88 kB / 334.3 MB, free: 13.49 MB / 286.1 MB
Notification: Performance of FrontEnd: time 2.243e-05/0.007783, allocations: 11.88 kB / 334.3 MB, free: 13.48 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: 43 (22)
 * Number of variables: 43 (28)
Notification: Performance of Bindings: time 0.001291/0.009079, allocations: 1.353 MB / 335.7 MB, free: 12.02 MB / 286.1 MB
Notification: Performance of FunctionAlias: time 0.0001591/0.009244, allocations: 139.7 kB / 335.8 MB, free: 11.89 MB / 286.1 MB
Notification: Performance of Early Inline: time 0.001081/0.01033, allocations: 1.124 MB / 337 MB, free: 10.73 MB / 286.1 MB
Notification: Performance of simplify1: time 2.334e-05/0.01036, allocations: 11.98 kB / 337 MB, free: 10.72 MB / 286.1 MB
Notification: Performance of Alias: time 0.0008367/0.01121, allocations: 0.7678 MB / 337.7 MB, free: 9.895 MB / 286.1 MB
Notification: Performance of simplify2: time 5.961e-06/0.01122, allocations: 0 / 337.7 MB, free: 9.895 MB / 286.1 MB
Notification: Performance of Events: time 0.000854/0.01208, allocations: 0.7762 MB / 338.5 MB, free: 9.008 MB / 286.1 MB
Notification: Performance of Detect States: time 0.0004649/0.01256, allocations: 455.7 kB / 339 MB, free: 8.547 MB / 286.1 MB
Notification: Performance of Partitioning: time 0.0003063/0.01287, allocations: 280 kB / 339.2 MB, free: 8.266 MB / 286.1 MB
Error: Internal error NBResolveSingularities.noIndexReduction failed.
(2|2) Unmatched Variables
***************************
        [DISC] (1) protected Integer dLATREGSRH.dLATSR.enable_flag (start = 0)
         slice: {}
        [DISC] (1) protected Integer dLATREGSRH.dLATSR.reset_set_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
[----]   dLATREGSRH.dLATSR.enable_flag := 1;
[----] elseif enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'0' or enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'L' then
[----]   dLATREGSRH.dLATSR.enable_flag := 0;
[----] elseif enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then
[----]   dLATREGSRH.dLATSR.enable_flag := 3;
[----] elseif true then
[----]   dLATREGSRH.dLATSR.enable_flag := 2;
[----] end if;

[----] dLATREGSRH.dLATSR.reset_set_flag := dLATREGSRH.dLATSR.ResetSetMap[reset.y, set.y];

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

[----] dLATREGSRH.dLATSR.next_assign_val := dLATREGSRH.dLATSR.nextstate;
[----] dLATREGSRH.dLATSR.dataOut := dLATREGSRH.dLATSR.nextstate;

         slice: {6, 7}