/home/hudson/saved_omc/OMSimulator/install/bin/OMSimulator -r=Modelica_4.0.0_Modelica.Electrical.Digital.Examples.DLATREGSRH_res.mat --tempDir=temp_Modelica_4_0_0_Modelica_Electrical_Digital_Examples_DLATREGSRH_fmu --startTime=0 --stopTime=25 --timeout=50 --tolerance=1e-06 Modelica_4_0_0_Modelica_Electrical_Digital_Examples_DLATREGSRH.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 | | | | ((dLATREGSRH.delay.inertialDelaySensitive[1].x >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.delay.inertialDelaySensitive[1].x <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dLATREGSRH.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 | | | | ((dLATREGSRH.delay.inertialDelaySensitive[2].x >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.delay.inertialDelaySensitive[2].x <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dLATREGSRH.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:5658:11-5660:46:writable] | | | | The following assertion has been violated at time 0.000000 | | | | ((dLATREGSRH.dLATSR.dataOut[1] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.dataOut[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dLATREGSRH.dLATSR.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:5658:11-5660:46:writable] | | | | The following assertion has been violated at time 0.000000 | | | | ((dLATREGSRH.dLATSR.dataOut[2] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.dataOut[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dLATREGSRH.dLATSR.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:5679:19-5679:71:writable] | | | | The following assertion has been violated at time 0.000000 | | | | ((dLATREGSRH.dLATSR.nextstate[1] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.nextstate[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dLATREGSRH.dLATSR.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:5679:19-5679:71:writable] | | | | The following assertion has been violated at time 0.000000 | | | | ((dLATREGSRH.dLATSR.nextstate[2] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.nextstate[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dLATREGSRH.dLATSR.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:5680:19-5680:77:writable] | | | | The following assertion has been violated at time 0.000000 | | | | ((dLATREGSRH.dLATSR.next_assign_val[1] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.next_assign_val[1] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dLATREGSRH.dLATSR.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:5680:19-5680:77:writable] | | | | The following assertion has been violated at time 0.000000 | | | | ((dLATREGSRH.dLATSR.next_assign_val[2] >= Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.next_assign_val[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-')) --> "Variable violating min/max constraint: Modelica.Electrical.Digital.Interfaces.Logic.'U' <= dLATREGSRH.dLATSR.next_assign_val[2] <= Modelica.Electrical.Digital.Interfaces.Logic.'-', has value: 0" info: Result file: Modelica_4.0.0_Modelica.Electrical.Digital.Examples.DLATREGSRH_res.mat (bufferSize=1)