OMSimulator --tempDir=temp_IndustrialControlSystems_IndustrialControlSystems_Logical_Counter_Examples_countUPandDOWN_fmu --startTime=0 --stopTime=60 --timeout=50 --tolerance=1e-06 IndustrialControlSystems_IndustrialControlSystems_Logical_Counter_Examples_countUPandDOWN.fmu info: Set temp directory to "/tmp/omsimulator" info: Set working directory to "." info: New temp directory has been created: "temp_IndustrialControlSystems_IndustrialControlSystems_Logical_Counter_Examples_countUPandDOWN_fmu" info: Set temp directory to "/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelicaLibraryTesting/IndustrialControlSystems_IndustrialControlSystems.Logical.Counter.Examples.countUPandDOWN/temp_IndustrialControlSystems_IndustrialControlSystems_Logical_Counter_Examples_countUPandDOWN_fmu" info: Set working directory to "/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelicaLibraryTesting/IndustrialControlSystems_IndustrialControlSystems.Logical.Counter.Examples.countUPandDOWN" info: New model "model" with corresponding temp directory "/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelicaLibraryTesting/IndustrialControlSystems_IndustrialControlSystems.Logical.Counter.Examples.countUPandDOWN/temp_IndustrialControlSystems_IndustrialControlSystems_Logical_Counter_Examples_countUPandDOWN_fmu/model-xgqtpljv" info: model doesn't contain any continuous state info: Result file: model_res.mat (bufferSize=10) info: Parameter model.root.fmu.countDOWN.combiTimeTable.fileName will not be stored in the result file, because the signal type is not supported info: Parameter model.root.fmu.countDOWN.combiTimeTable.tableName will not be stored in the result file, because the signal type is not supported info: Parameter model.root.fmu.countUP.combiTimeTable.fileName will not be stored in the result file, because the signal type is not supported info: Parameter model.root.fmu.countUP.combiTimeTable.tableName will not be stored in the result file, because the signal type is not supported info: Parameter model.root.fmu.reset.combiTimeTable.fileName will not be stored in the result file, because the signal type is not supported info: Parameter model.root.fmu.reset.combiTimeTable.tableName will not be stored in the result file, because the signal type is not supported info: Parameter model.root.fmu.set.combiTimeTable.fileName will not be stored in the result file, because the signal type is not supported info: Parameter model.root.fmu.set.combiTimeTable.tableName will not be stored in the result file, because the signal type is not supported