OMSimulator -r=Modelica_3.2.3_Modelica.Electrical.Digital.Examples.DFFREG_res.mat --tempDir=temp_Modelica_3_2_3_Modelica_Electrical_Digital_Examples_DFFREG_fmu --startTime=0 --stopTime=25 --timeout=50 --tolerance=1e-06 Modelica_3_2_3_Modelica_Electrical_Digital_Examples_DFFREG.fmu
info:    model doesn't contain any continuous state
assert            | warning | [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/Electrical/Digital.mo:2239:11-2241:28:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREG.delay.inertialDelaySensitive[1].x >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREG.delay.inertialDelaySensitive[1].x <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREG.delay.inertialDelaySensitive[1].x <= Modelica.Electrical.Digital.Interfaces.Logic.'-', has value: 0"
assert            | warning | [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/Electrical/Digital.mo:2239:11-2241:28:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREG.delay.inertialDelaySensitive[2].x >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREG.delay.inertialDelaySensitive[2].x <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREG.delay.inertialDelaySensitive[2].x <= Modelica.Electrical.Digital.Interfaces.Logic.'-', has value: 0"
assert            | warning | [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/Electrical/Digital.mo:4572:11-4574:46:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREG.dFFR.dataOut[1] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREG.dFFR.dataOut[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREG.dFFR.dataOut[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-', has value: 0"
assert            | warning | [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/Electrical/Digital.mo:4572:11-4574:46:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREG.dFFR.dataOut[2] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREG.dFFR.dataOut[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREG.dFFR.dataOut[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-', has value: 0"
assert            | warning | [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/Electrical/Digital.mo:4587:19-4587:71:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREG.dFFR.nextstate[1] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREG.dFFR.nextstate[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREG.dFFR.nextstate[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-', has value: 0"
assert            | warning | [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/Electrical/Digital.mo:4587:19-4587:71:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREG.dFFR.nextstate[2] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREG.dFFR.nextstate[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREG.dFFR.nextstate[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-', has value: 0"
assert            | warning | [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/Electrical/Digital.mo:4588:19-4588:77:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREG.dFFR.next_assign_val[1] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREG.dFFR.next_assign_val[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREG.dFFR.next_assign_val[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-', has value: 0"
assert            | warning | [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/Electrical/Digital.mo:4588:19-4588:77:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREG.dFFR.next_assign_val[2] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREG.dFFR.next_assign_val[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREG.dFFR.next_assign_val[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-', has value: 0"
info:    Result file: Modelica_3.2.3_Modelica.Electrical.Digital.Examples.DFFREG_res.mat (bufferSize=1)