OMSimulator -r=Modelica_3.2.3_Modelica.Electrical.Digital.Examples.DFFREGSRL_res.mat --tempDir=temp_Modelica_3_2_3_Modelica_Electrical_Digital_Examples_DFFREGSRL_fmu --startTime=0 --stopTime=15 --timeout=50 --tolerance=1e-06 Modelica_3_2_3_Modelica_Electrical_Digital_Examples_DFFREGSRL.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
|                 | |       | ((dFFREGSRL.delay.inertialDelaySensitive[1].x >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREGSRL.delay.inertialDelaySensitive[1].x <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREGSRL.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
|                 | |       | ((dFFREGSRL.delay.inertialDelaySensitive[2].x >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREGSRL.delay.inertialDelaySensitive[2].x <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREGSRL.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:4961:11-4963:46:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREGSRL.dFFSR.dataOut[1] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREGSRL.dFFSR.dataOut[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREGSRL.dFFSR.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:4961:11-4963:46:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREGSRL.dFFSR.dataOut[2] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREGSRL.dFFSR.dataOut[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREGSRL.dFFSR.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:4981:19-4981:71:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREGSRL.dFFSR.nextstate[1] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREGSRL.dFFSR.nextstate[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREGSRL.dFFSR.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:4981:19-4981:71:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREGSRL.dFFSR.nextstate[2] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREGSRL.dFFSR.nextstate[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREGSRL.dFFSR.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:4982:19-4982:77:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREGSRL.dFFSR.next_assign_val[1] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREGSRL.dFFSR.next_assign_val[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREGSRL.dFFSR.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:4982:19-4982:77:writable]
|                 | |       | The following assertion has been violated at time 0.000000
|                 | |       | ((dFFREGSRL.dFFSR.next_assign_val[2] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dFFREGSRL.dFFSR.next_assign_val[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dFFREGSRL.dFFSR.next_assign_val[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-', has value: 0"
info:    Result file: Modelica_3.2.3_Modelica.Electrical.Digital.Examples.DFFREGSRL_res.mat (bufferSize=1)