/home/hudson/saved_omc/OMSimulator/install/bin/OMSimulator -r=Modelica_trunk_Modelica.Electrical.Digital.Examples.DFFREGSRL_res.mat --tempDir=temp_Modelica_trunk_Modelica_Electrical_Digital_Examples_DFFREGSRL_fmu --startTime=0 --stopTime=15 --timeout=50 --tolerance=1e-06 Modelica_trunk_Modelica_Electrical_Digital_Examples_DFFREGSRL.fmu info: model doesn't contain any continuous state assert | warning | [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica trunk/Electrical/Digital.mo:2236:11-2238: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 trunk/Electrical/Digital.mo:2236:11-2238: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 trunk/Electrical/Digital.mo:4807:11-4809: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 trunk/Electrical/Digital.mo:4807:11-4809: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 trunk/Electrical/Digital.mo:4827:19-4827: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 trunk/Electrical/Digital.mo:4827:19-4827: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 trunk/Electrical/Digital.mo:4828:19-4828: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 trunk/Electrical/Digital.mo:4828:19-4828: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_trunk_Modelica.Electrical.Digital.Examples.DFFREGSRL_res.mat (bufferSize=1)