Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.2_Modelica.Electrical.Digital.Examples.DFFREGSRH.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.DFFREGSRH,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.Electrical.Digital.Examples.DFFREGSRH")
translateModel(Modelica.Electrical.Digital.Examples.DFFREGSRH,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.Electrical.Digital.Examples.DFFREGSRH")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.0009983/0.0009987, allocations: 114 kB / 17.75 MB, free: 5.215 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.0008996/0.0008996, allocations: 196.6 kB / 18.69 MB, free: 4.289 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.27/1.27, allocations: 205.1 MB / 224.6 MB, free: 12.23 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.018e-05/2.019e-05, allocations: 3.406 kB / 328.5 MB, free: 3.348 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.DFFREGSRH): time 0.002465/0.002494, allocations: 1.8 MB / 330.3 MB, free: 1.539 MB / 270.1 MB
Notification: Performance of NFInst.instExpressions: time 0.002173/0.004679, allocations: 1.077 MB / 331.4 MB, free: 464 kB / 270.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0001174/0.004808, allocations: 0 / 331.4 MB, free: 464 kB / 270.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.0001674/0.004981, allocations: 35.7 kB / 331.4 MB, free: 428 kB / 270.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0002609/0.005255, allocations: 167.5 kB / 331.6 MB, free: 260 kB / 270.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.0003487/0.005614, allocations: 139.8 kB / 331.7 MB, free: 120 kB / 270.1 MB
Notification: Performance of NFFlatten.flatten: time 0.0007089/0.006331, allocations: 0.6631 MB / 332.4 MB, free: 15.45 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.0001667/0.006507, allocations: 90.22 kB / 332.5 MB, free: 15.36 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0009891/0.007503, allocations: 1.221 MB / 333.7 MB, free: 14.14 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0002148/0.007729, allocations: 187.3 kB / 333.9 MB, free: 13.96 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 7.045e-05/0.007809, allocations: 36 kB / 333.9 MB, free: 13.92 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 6.857e-05/0.007883, allocations: 36 kB / 333.9 MB, free: 13.89 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.0003453/0.008234, allocations: 424.2 kB / 334.4 MB, free: 13.47 MB / 286.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0001108/0.008351, allocations: 201.1 kB / 334.6 MB, free: 13.27 MB / 286.1 MB
Notification: Performance of NFVerifyModel.verify: time 8.962e-05/0.008446, allocations: 55.88 kB / 334.6 MB, free: 13.21 MB / 286.1 MB
Notification: Performance of FrontEnd: time 3.095e-05/0.008483, allocations: 7.938 kB / 334.6 MB, free: 13.21 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.001215/0.009702, allocations: 1.337 MB / 336 MB, free: 11.77 MB / 286.1 MB
Notification: Performance of FunctionAlias: time 0.0001896/0.009899, allocations: 143.7 kB / 336.1 MB, free: 11.62 MB / 286.1 MB
Notification: Performance of Early Inline: time 0.001052/0.01096, allocations: 1.109 MB / 337.2 MB, free: 10.49 MB / 286.1 MB
Notification: Performance of simplify1: time 1.332e-05/0.01098, allocations: 15.98 kB / 337.2 MB, free: 10.47 MB / 286.1 MB
Notification: Performance of Alias: time 0.0008287/0.01181, allocations: 0.7638 MB / 338 MB, free: 9.648 MB / 286.1 MB
Notification: Performance of simplify2: time 8.275e-06/0.01183, allocations: 11.94 kB / 338 MB, free: 9.637 MB / 286.1 MB
Notification: Performance of Events: time 0.0007683/0.01261, allocations: 0.7374 MB / 338.7 MB, free: 8.789 MB / 286.1 MB
Notification: Performance of Detect States: time 0.0004978/0.01311, allocations: 475.7 kB / 339.2 MB, free: 8.309 MB / 286.1 MB
Notification: Performance of Partitioning: time 0.0003166/0.01344, allocations: 295.9 kB / 339.5 MB, free: 8.012 MB / 286.1 MB
Error: Internal error NBResolveSingularities.noIndexReduction failed.
(2|2) Unmatched Variables
***************************
        [DISC] (1) protected Integer dFFREGSRH.dFFSR.clock_flag (start = 0)
         slice: {}
        [DISC] (1) protected Integer dFFREGSRH.dFFSR.reset_set_flag (start = 1)
         slice: {}

(1|2) Unmatched Equations
***************************
        [ALGO] (8) ($RES_SIM_0)
[----] if (change(dFFREGSRH.dFFSR.clock) or change(dFFREGSRH.dFFSR.reset)) or change(dFFREGSRH.dFFSR.set) then
[----]   if change(dFFREGSRH.dFFSR.clock) then
[----]     if initial() then
[----]       dFFREGSRH.dFFSR.clock_flag := ({0, 0, 0, 2, 0, 0, 0, 2, 0})[dFFREGSRH.dFFSR.clock];
[----]     elseif true then
[----]       dFFREGSRH.dFFSR.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.dFFREGSRH.dFFSR.clock, dFFREGSRH.dFFSR.clock];
[----]     end if;
[----]   end if;

[----]   dFFREGSRH.dFFSR.reset_set_flag := dFFREGSRH.dFFSR.ResetSetMap[dFFREGSRH.dFFSR.reset, dFFREGSRH.dFFSR.set];

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

[----] dFFREGSRH.dFFSR.next_assign_val := dFFREGSRH.dFFSR.nextstate;
[----] dFFREGSRH.dFFSR.dataOut := dFFREGSRH.dFFSR.nextstate;

         slice: {6, 7}