/home/hudson/saved_omc/OMSimulator/install/bin/OMSimulator -r=Modelica_4.0.0_Modelica.Electrical.Digital.Examples.DFFREG_res.mat --tempDir=temp_Modelica_4_0_0_Modelica_Electrical_Digital_Examples_DFFREG_fmu --startTime=0 --stopTime=25 --timeout=50 --tolerance=1e-06 Modelica_4_0_0_Modelica_Electrical_Digital_Examples_DFFREG.fmu
info:    model doesn't contain any continuous state
assert            | warning | [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/Electrical/Digital.mo:2238:11-2240: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 4.0.0+maint.om/Electrical/Digital.mo:2238:11-2240: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 4.0.0+maint.om/Electrical/Digital.mo:4421:11-4423: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 4.0.0+maint.om/Electrical/Digital.mo:4421:11-4423: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 4.0.0+maint.om/Electrical/Digital.mo:4436:19-4436: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 4.0.0+maint.om/Electrical/Digital.mo:4436:19-4436: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 4.0.0+maint.om/Electrical/Digital.mo:4437:19-4437: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 4.0.0+maint.om/Electrical/Digital.mo:4437:19-4437: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_4.0.0_Modelica.Electrical.Digital.Examples.DFFREG_res.mat (bufferSize=1)