-cps/fmi.git) registered for path '../include/fmi'
Cloning into 'include/fmi'...
Submodule path 'fmu-tester/include/fmi': checked out '45586e20877bfd97e47c1eeb19bfe227b4a46d58'
-- The C compiler identification is GNU 5.4.0
-- The CXX compiler identification is GNU 5.4.0
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Performing Test COMPILER_SUPPORTS_CXX11
-- Performing Test COMPILER_SUPPORTS_CXX11 - Success
-- Performing Test COMPILER_SUPPORTS_CXX0X
-- Performing Test COMPILER_SUPPORTS_CXX0X - Success
-- Static linking with libstdc++.a in /usr/lib/gcc/x86_64-linux-gnu/5/libstdc++.a
-- Configuring done
-- Generating done
-- Build files have been written to: /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester
/usr/bin/cmake -H/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester -B/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester --check-build-system CMakeFiles/Makefile.cmake 0
/usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester/CMakeFiles /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester/CMakeFiles/progress.marks
make -f CMakeFiles/Makefile2 all
make[1]: Entering directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester'
make -f CMakeFiles/fmu-tester.dir/build.make CMakeFiles/fmu-tester.dir/depend
make[2]: Entering directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester'
cd /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester/CMakeFiles/fmu-tester.dir/DependInfo.cmake --color=
Scanning dependencies of target fmu-tester
make[2]: Leaving directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester'
make -f CMakeFiles/fmu-tester.dir/build.make CMakeFiles/fmu-tester.dir/build
make[2]: Entering directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester'
[ 33%] Building C object CMakeFiles/fmu-tester.dir/src/sim_support.c.o
/usr/bin/cc -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester/include/fmi/include -DFMI_COSIMULATION -O0 -g -o CMakeFiles/fmu-tester.dir/src/sim_support.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester/src/sim_support.c
[ 66%] Building CXX object CMakeFiles/fmu-tester.dir/src/main.cpp.o
/usr/bin/c++ -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester/include/fmi/include -std=c++11 -DFMI_COSIMULATION -O0 -g -o CMakeFiles/fmu-tester.dir/src/main.cpp.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester/src/main.cpp
[100%] Linking CXX executable fmu-tester
/usr/bin/cmake -E cmake_link_script CMakeFiles/fmu-tester.dir/link.txt --verbose=1
/usr/bin/c++ -std=c++11 -DFMI_COSIMULATION -O0 -g CMakeFiles/fmu-tester.dir/src/sim_support.c.o CMakeFiles/fmu-tester.dir/src/main.cpp.o -o fmu-tester -rdynamic -Wl,-Bstatic -lstdc++ -Wl,-Bdynamic -ldl
make[2]: Leaving directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester'
[100%] Built target fmu-tester
make[1]: Leaving directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester'
/usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/fmu-tester/CMakeFiles 0
Fetch current version
Version is '0.2.12'
Test will be performed on: '../core/fmu-import-export/target/fmu-import-export-0.2.12-jar-with-dependencies.jar'
Test will be performed on model: ../core/fmu-import-export/src/test/resources/model
Archive: wt2.fmu
inflating: resources/model/HardwareInterface.vdmrt
inflating: resources/model/System.vdmrt
inflating: resources/model/LevelSensor.vdmrt
inflating: resources/model/ValveActuator.vdmrt
inflating: resources/model/Controller.vdmrt
inflating: resources/model/lib/IO.vdmrt
inflating: resources/model/lib/Fmi.vdmrt
inflating: resources/model/World.vdmrt
inflating: resources/config.txt
inflating: resources/fmi-interpreter-jar-with-dependencies.jar
inflating: resources/modelDescription.xml
inflating: binaries/git-info-txt
inflating: binaries/linux32/wt2.so
inflating: binaries/win64/wt2.dll
inflating: binaries/linux64/wt2.so
inflating: binaries/darwin64/wt2.dylib
inflating: binaries/win32/wt2.dll
inflating: modelDescription.xml
Resource location: '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output/resources'
Checking for platform...
LINUX
Testing will use the following configuration:
Resources folder: '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output/resources'
Library folder : '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output/binaries/linux64/wt2.so'
Running test...
-----------------------------------------------------------------------------
FMU path is: /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output/binaries/linux64/wt2.so
FMU resource path is: /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output/resources
Resource location is: file:/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output/resources
GUID is: no-guid-needed
Ready FMU is loaded
ok f (logFmiCall): FMU: Called instantiate with instance 'f' and GUID 'no-guid-needed'
ok f (logFmiCall): FMU: Launching Tool Wrapper memory key: '910411ec-26a5-46e2-8d74-c51ddf6e4e78' and resource location '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output/resources/'
ok f (logFmiCall): FMU: Launching with shared memory key: '910411ec-26a5-46e2-8d74-c51ddf6e4e78'
ok f (logFmiCall): FMU: FMU Server create, hosting SHM with raw key: 910411ec-26a5-46e2-8d74-c51ddf6e4e78
ok f (logFmiCall): FMU: Called instantiate with instance 'f' and GUID 'no-guid-needed'
ok f (logFmiCall): FMU: Launching Tool Wrapper memory key: '910411ec-26a5-46e2-8d74-c51ddf6e4e78' and resource location '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output/resources/'
ok f (logFmiCall): FMU: Launching with shared memory key: '910411ec-26a5-46e2-8d74-c51ddf6e4e78'
ok f (logFmiCall): FMU: FMU Server create, hosting SHM with raw key: 910411ec-26a5-46e2-8d74-c51ddf6e4e78
ok f (LogAll): IPC 510707592: Writing msg. Type: 1351631872, Size: 1
ok f (LogAll): IPC 510707640: Received msg. Type: 1351631872, Size: 1
Called: setDebugLogging: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 0, Size: 1
ok f (LogAll): IPC 510707640: Received msg. Type: 0, Size: 1
Called: setupExperiment: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 28373472, Size: 1
ok f (LogAll): IPC 510707640: Received msg. Type: 28373472, Size: 1
Called: enterInitializationMode: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (VdmOut): ----------------------------------------------------------------------------------
ok f (VdmOut): Runtime Validator Initialized with conjectures:
ok f (VdmOut): ----------------------------------------------------------------------------------
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): exit init
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: exitInitializationMode: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 0, Size: 1
ok f (Protocol): DoStep called: 0.2
ok f (logAll): DoStep VDM internal stop time: 200000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 200000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 200000000 External [s]: 0.2004
ok f (Protocol): DoStep waiting for next DoStep at: 0.2004
ok f (LogAll): IPC 510707640: Received msg. Type: 0, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 0.4
ok f (logAll): DoStep VDM internal stop time: 400000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 400000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 400000000 External [s]: 0.4004
ok f (Protocol): DoStep waiting for next DoStep at: 0.4004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 0.6000000000000001
ok f (logAll): DoStep VDM internal stop time: 600000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 600000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 600000000 External [s]: 0.6004
ok f (Protocol): DoStep waiting for next DoStep at: 0.6004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 0.8
ok f (logAll): DoStep VDM internal stop time: 800000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut):
ok f ():
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 1.0
ok f ():
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal stop time: 1000000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): false
ok f ():
ok f ():
ok f ():
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 1000000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 1000000000 External [s]: 1.0004
ok f (Protocol): DoStep waiting for next DoStep at: 1.0004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 1.2
ok f (logAll): DoStep VDM internal stop time: 1200000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 1200000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 1200000000 External [s]: 1.2004
ok f (Protocol): DoStep waiting for next DoStep at: 1.2004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 1.4
ok f (logAll): DoStep VDM internal stop time: 1400000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 1400000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 1400000000 External [s]: 1.4004
ok f (Protocol): DoStep waiting for next DoStep at: 1.4004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 1.5999999999999999
ok f (logAll): DoStep VDM internal stop time: 1600000000
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 1600000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 1600000000 External [s]: 1.6004
ok f (Protocol): DoStep waiting for next DoStep at: 1.6004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 1.7999999999999998
ok f (logAll): DoStep VDM internal stop time: 1800000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut):
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 1800000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 1800000000 External [s]: 1.8004
ok f (Protocol): DoStep waiting for next DoStep at: 1.8004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 1.9999999999999998
ok f (logAll): DoStep VDM internal stop time: 2000000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 2000000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 2000000000 External [s]: 2.0004
ok f (Protocol): DoStep waiting for next DoStep at: 2.0004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 2.1999999999999997
ok f (logAll): DoStep VDM internal stop time: 2200000000
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 2200000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 2200000000 External [s]: 2.2004
ok f (Protocol): DoStep waiting for next DoStep at: 2.2004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 2.4
ok f (logAll): DoStep VDM internal stop time: 2400000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep waiting for next DoStep at: 2.4004
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal stop time: 2600000000
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep waiting for next DoStep at: 2.6004
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal stop time: 2800000000
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f ():
ok f ():
ok f ():
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (Protocol): DoStep waiting for next DoStep at: 2.8004
ok f ():
ok f ():
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (logAll): DoStep VDM internal stop time: 3000000000
ok f ():
ok f (VdmOut): Valve state changed:
ok f ():
ok f ():
ok f ():
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (Protocol): DoStep waiting for next DoStep at: 3.0004
ok f ():
ok f ():
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (logAll): DoStep VDM internal stop time: 3200000000
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f ():
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (Protocol): DoStep waiting for next DoStep at: 3.2004
ok f ():
ok f ():
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 3.400000000000001
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f ():
ok f ():
ok f ():
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 3400000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 3400000000 External [s]: 3.4004
ok f (Protocol): DoStep waiting for next DoStep at: 3.4004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 3.600000000000001
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 3600000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 3600000000 External [s]: 3.6004
ok f (Protocol): DoStep waiting for next DoStep at: 3.6004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (0000000): DoStep called: 3.800000000000001
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 3800000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 3800000000 External [s]: 3.8004
ok f (Protocol): DoStep waiting for next DoStep at: 3.8004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (): DoStep VDM internal stop time: 4
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 4000000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 4000000000 External [s]: 4.0004
ok f (Protocol): DoStep waiting for next DoStep at: 4.0004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 4.200000000000001
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 4200000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 4200000000 External [s]: 4.2004
ok f (Protocol): DoStep waiting for next DoStep at: 4.2004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (0000000): DoStep called: 4.400000000000001
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 4400000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 4400000000 External [s]: 4.4004
ok f (Protocol): DoStep waiting for next DoStep at: 4.4004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (): DoStep called: 4.600000000000001
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 4600000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 4600000000 External [s]: 4.6004
ok f (Protocol): DoStep waiting for next DoStep at: 4.6004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 4.800000000000002
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 4800000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 4800000000 External [s]: 4.8004
ok f (Protocol): DoStep waiting for next DoStep at: 4.8004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 5.000000000000002
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 5000000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 5000000000 External [s]: 5.0004
ok f (Protocol): DoStep waiting for next DoStep at: 5.0004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 5.200000000000002
ok f (logAll): DoStep VDM internal stop time: 5200000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 5200000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 5200000000 External [s]: 5.2004
ok f (Protocol): DoStep waiting for next DoStep at: 5.2004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 5.400000000000002
ok f (logAll): DoStep VDM internal stop time: 5400000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut):
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 5400000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 5400000000 External [s]: 5.4004
ok f (Protocol): DoStep waiting for next DoStep at: 5.4004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 5.600000000000002
ok f (logAll): DoStep VDM internal stop time: 5600000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 5600000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 5600000000 External [s]: 5.6004
ok f (Protocol): DoStep waiting for next DoStep at: 5.6004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 5.8000000000000025
ok f (logAll): DoStep VDM internal stop time: 5800000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 5800000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 5800000000 External [s]: 5.8004
ok f (Protocol): DoStep waiting for next DoStep at: 5.8004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 6.000000000000003
ok f (logAll): DoStep VDM internal stop time: 6000000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 6000000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 6000000000 External [s]: 6.0004
ok f (Protocol): DoStep waiting for next DoStep at: 6.0004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (VdmOut): 0
ok f ():
ok f ():
ok f ():
ok f (VdmOut):
ok f ():
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 6200000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 6200000000 External [s]: 6.2004
ok f (Protocol): DoStep waiting for next DoStep at: 6.2004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 6.400000000000003
ok f (logAll): DoStep VDM internal stop time: 6400000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 6400000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 6400000000 External [s]: 6.4004
ok f (Protocol): DoStep waiting for next DoStep at: 6.4004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 6.600000000000003
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 6600000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 6600000000 External [s]: 6.6004
ok f (Protocol): DoStep waiting for next DoStep at: 6.6004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 6.800000000000003
ok f (logAll): DoStep VDM internal stop time: 6800000000
ok f (VdmOut): Valve state changed:
ok f ():
ok f ():
ok f ():
ok f (VdmOut):
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 6800000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 6800000000 External [s]: 6.8004
ok f (Protocol): DoStep waiting for next DoStep at: 6.8004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 7.0000000000000036
ok f (logAll): DoStep VDM internal stop time: 7000000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 7.200000000000004
ok f ():
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal stop time: 7200000000
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (Protocol): DoStep waiting for next DoStep at: 7.2004
ok f ():
ok f ():
ok f ():
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 7.400000000000004
ok f (VdmOut):
ok f ():
ok f ():
ok f ():
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 7400000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 7400000000 External [s]: 7.4004
ok f (Protocol): DoStep waiting for next DoStep at: 7.4004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (): DoStep called: 7.600000000000004
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 7600000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 7600000000 External [s]: 7.6004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (logAll): DoStep VDM internal stop time: 7800000000
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f ():
ok f ():
ok f ():
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 7800000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 7800000000 External [s]: 7.8004
ok f (Protocol): DoStep waiting for next DoStep at: 7.8004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 8.000000000000004
ok f (logAll): DoStep VDM internal stop time: 8000000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 8000000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 8000000000 External [s]: 8.0004
ok f (Protocol): DoStep waiting for next DoStep at: 8.0004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 8.200000000000003
ok f (logAll): DoStep VDM internal stop time: 8200000000
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 8200000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 8200000000 External [s]: 8.2004
ok f (Protocol): DoStep waiting for next DoStep at: 8.2004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 8.400000000000002
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 8400000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 8400000000 External [s]: 8.4004
ok f (Protocol): DoStep waiting for next DoStep at: 8.4004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 8.600000000000001
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f ():
ok f ():
ok f ():
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (logAll): DoStep VDM internal time reached: 8600000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 8600000000 External [s]: 8.6004
ok f (Protocol): DoStep waiting for next DoStep at: 8.6004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 8.8
ok f (logAll): DoStep VDM internal stop time: 8800000000
ok f (VdmOut): 0
ok f ():
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f ():
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): 0
ok f (VdmOut):
ok f ():
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 8800000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 8800000000 External [s]: 8.8004
ok f (Protocol): DoStep waiting for next DoStep at: 8.8004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 9.0
ok f ():
ok f (VdmOut): Level is:
ok f ():
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 9000000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 9000000000 External [s]: 9.0004
ok f (Protocol): DoStep waiting for next DoStep at: 9.0004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep called: 9.2
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Valve state changed:
ok f ():
ok f ():
ok f ():
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f ():
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 9200000000 at doStep completion
ok f ():
ok f (Protocol): DoStep waiting for next DoStep at: 9.2004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (logAll): DoStep VDM internal stop time: 9400000000
ok f ():
ok f (VdmOut):
ok f ():
ok f ():
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (): Valve state changed:
ok f ():
ok f (VdmOut):
ok f (VdmOut): 0
ok f ():
ok f ():
ok f (VdmOut): false
ok f ():
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 9400000000 at doStep completion
ok f (logAll): DoStep VDM clock conversion. Internal time: 9400000000 External [s]: 9.4004
ok f (Protocol): DoStep waiting for next DoStep at: 9.4004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (VdmOut): 0
ok f ():
ok f ():
ok f ():
ok f (VdmOut):
ok f ():
ok f ():
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 9600000000 at doStep completion
ok f ():
ok f (Protocol): DoStep waiting for next DoStep at: 9.6004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (logAll): DoStep VDM internal stop time: 9800000000
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f ():
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 9800000000 at doStep completion
ok f ():
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
ok f (Protocol): DoStep waiting for next DoStep at: 9.8004
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (logAll): DoStep VDM internal stop time: 10000000000
ok f ():
ok f (VdmOut): Valve state changed:
ok f ():
ok f ():
ok f ():
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f ():
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (logAll): DoStep VDM internal time reached: 10000000000 at doStep completion
ok f ():
ok f (Protocol): DoStep waiting for next DoStep at: 10.0004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 508999844, Size: 1
ok f (logAll): DoStep VDM internal stop time: 10200000000
ok f ():
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f ():
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (VdmOut): Level is:
ok f (VdmOut): 0
ok f (VdmOut):
ok f (VdmOut): Valve state changed:
ok f (VdmOut): false
ok f (VdmOut):
ok f (): DoStep VDM clock conversion. Internal time: 10200000000 External [
ok f ():
ok f (Protocol): DoStep waiting for next DoStep at: 10.2004
ok f (LogAll): IPC 510707640: Received msg. Type: 508999844, Size: 1
Called: doStep: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 28338320, Size: 1
ok f (logAll): terminate
ok f (LogAll): IPC 510707640: Received msg. Type: 28338320, Size: 1
Called: terminate: ok
ok f (LogAll): IPC 510707592: Writing msg. Type: 1351631872, Size: 1
IPC server 1: Closing m_hSignal for: '910411ec-26a5-46e2-8d74-c51ddf6e4e78'
IPC server 1: Closing m_hAvail for: '910411ec-26a5-46e2-8d74-c51ddf6e4e78'
IPC server 1: Closing m_hConnWatchDogSignal for: '910411ec-26a5-46e2-8d74-c51ddf6e4e78'
IPC server 1: Unmapping m_pBuf for: '910411ec-26a5-46e2-8d74-c51ddf6e4e78'
IPC server 1: Unlink m_hMapFile for: '/Local910411ec-26a5-46e2-8d74-c51ddf6e4e78'
done
-----------------------------------------------------------------------------
Clean up
Archive: wt2.fmu
inflating: sources/CMakeLists.txt
inflating: sources/IntPort.h
inflating: sources/LevelSensor.c
inflating: sources/FmuIO.c
inflating: sources/World.c
inflating: sources/RealPort.c
inflating: sources/RealPort.h
inflating: sources/IO.c
inflating: sources/BoolPort.h
inflating: sources/defines.def
inflating: sources/VdmModelFeatures.h
inflating: sources/FmuModel.c
inflating: sources/ValveActuator.h
inflating: sources/Port.h
inflating: sources/includes.txt
inflating: sources/Controller.h
inflating: sources/WatertankSystem.c
inflating: sources/World.h
inflating: sources/IntPort.c
inflating: sources/Controller.c
inflating: sources/vdmlib/VdmUnpackString.h
inflating: sources/vdmlib/VdmUnpackString.c
inflating: sources/vdmlib/Vdm.h
inflating: sources/vdmlib/IOLib.h
inflating: sources/vdmlib/README.txt
inflating: sources/vdmlib/PatternBindMatch.h
inflating: sources/vdmlib/VdmSeq.h
inflating: sources/vdmlib/VdmSet.c
inflating: sources/vdmlib/ProjectCMakeLists.txt
inflating: sources/vdmlib/VdmClass.c
inflating: sources/vdmlib/VdmProduct.c
inflating: sources/vdmlib/TypedValue.h
inflating: sources/vdmlib/PatternBindMatch.c
inflating: sources/vdmlib/VdmClass.h
inflating: sources/vdmlib/VdmMap.c
inflating: sources/vdmlib/VdmRecord.h
inflating: sources/vdmlib/PrettyPrint.c
inflating: sources/vdmlib/VdmBasicTypes.c
inflating: sources/vdmlib/MATHLib.c
inflating: sources/vdmlib/IOLib.c
inflating: sources/vdmlib/VdmSet.h
inflating: sources/vdmlib/VdmGC.c
inflating: sources/vdmlib/TypedValue.c
inflating: sources/vdmlib/PrettyPrint.h
inflating: sources/vdmlib/VdmGC.h
inflating: sources/vdmlib/VdmBasicTypes.h
inflating: sources/vdmlib/VdmMap.h
inflating: sources/vdmlib/CSVLib.c
inflating: sources/vdmlib/VdmProduct.h
inflating: sources/vdmlib/CSVLib.h
inflating: sources/vdmlib/VdmDefines.h
inflating: sources/vdmlib/VdmSeq.c
inflating: sources/vdmlib/MATHLib.h
inflating: sources/Port.c
inflating: sources/HardwareInterface.c
inflating: sources/IO.h
inflating: sources/WatertankSystem.h
inflating: sources/main.c
inflating: sources/ValveActuator.c
inflating: sources/Fmu.h
inflating: sources/FmuGUID.h
inflating: sources/fmi/fmi2TypesPlatform.h
inflating: sources/fmi/fmi2FunctionTypes.h
inflating: sources/fmi/fmi2Functions.h
inflating: sources/StringPort.c
inflating: sources/StringPort.h
inflating: sources/LevelSensor.h
inflating: sources/HardwareInterface.h
inflating: sources/FmuModel.h
inflating: sources/BoolPort.c
inflating: sources/Fmu.c
inflating: resources/HardwareInterface.vdmrt
inflating: resources/System.vdmrt
inflating: resources/LevelSensor.vdmrt
inflating: resources/IO.vdmrt
inflating: resources/ValveActuator.vdmrt
inflating: resources/Controller.vdmrt
inflating: resources/Fmi.vdmrt
inflating: resources/World.vdmrt
inflating: modelDescription.xml
Text read from file: CUSTOM_IO
Text read from file: fmi
Text read from file: vdmlib
additional includes include_directories( sources/fmi sources/vdmlib)
-- The C compiler identification is GNU 5.4.0
-- The CXX compiler identification is GNU 5.4.0
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Performing Test COMPILER_SUPPORTS_CXX11
-- Performing Test COMPILER_SUPPORTS_CXX11 - Success
-- Performing Test COMPILER_SUPPORTS_CXX0X
-- Performing Test COMPILER_SUPPORTS_CXX0X - Success
-- Static linking with libstdc++.a in /usr/lib/gcc/x86_64-linux-gnu/5/libstdc++.a
-- Configuring done
-- Generating done
-- Build files have been written to: /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source
/usr/bin/cmake -H/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -B/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source --check-build-system CMakeFiles/Makefile.cmake 0
/usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/CMakeFiles /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/CMakeFiles/progress.marks
make -f CMakeFiles/Makefile2 all
make[1]: Entering directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source'
make -f CMakeFiles/wt2.dir/build.make CMakeFiles/wt2.dir/depend
make[2]: Entering directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source'
cd /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/CMakeFiles/wt2.dir/DependInfo.cmake --color=
Scanning dependencies of target wt2
make[2]: Leaving directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source'
make -f CMakeFiles/wt2.dir/build.make CMakeFiles/wt2.dir/build
make[2]: Entering directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source'
[ 3%] Building C object CMakeFiles/wt2.dir/sources/Controller.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/Controller.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/Controller.c
[ 6%] Building C object CMakeFiles/wt2.dir/sources/FmuIO.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/FmuIO.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/FmuIO.c
[ 9%] Building C object CMakeFiles/wt2.dir/sources/BoolPort.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/BoolPort.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/BoolPort.c
[ 12%] Building C object CMakeFiles/wt2.dir/sources/Fmu.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/Fmu.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/Fmu.c
[ 16%] Building C object CMakeFiles/wt2.dir/sources/FmuModel.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/FmuModel.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/FmuModel.c
[ 19%] Building C object CMakeFiles/wt2.dir/sources/HardwareInterface.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/HardwareInterface.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/HardwareInterface.c
[ 22%] Building C object CMakeFiles/wt2.dir/sources/IO.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/IO.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/IO.c
[ 25%] Building C object CMakeFiles/wt2.dir/sources/IntPort.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/IntPort.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/IntPort.c
[ 29%] Building C object CMakeFiles/wt2.dir/sources/Port.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/Port.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/Port.c
[ 32%] Building C object CMakeFiles/wt2.dir/sources/LevelSensor.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/LevelSensor.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/LevelSensor.c
[ 35%] Building C object CMakeFiles/wt2.dir/sources/RealPort.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/RealPort.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/RealPort.c
[ 38%] Building C object CMakeFiles/wt2.dir/sources/StringPort.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/StringPort.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/StringPort.c
[ 41%] Building C object CMakeFiles/wt2.dir/sources/ValveActuator.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/ValveActuator.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/ValveActuator.c
[ 45%] Building C object CMakeFiles/wt2.dir/sources/WatertankSystem.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/WatertankSystem.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/WatertankSystem.c
[ 48%] Building C object CMakeFiles/wt2.dir/sources/main.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/main.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/main.c
[ 51%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/CSVLib.c.o
[ 54%] Building C object CMakeFiles/wt2.dir/sources/World.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/CSVLib.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/CSVLib.c
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/World.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/World.c
[ 58%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/MATHLib.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/MATHLib.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/MATHLib.c
[ 61%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/IOLib.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/IOLib.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/IOLib.c
[ 64%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/PatternBindMatch.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/PatternBindMatch.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/PatternBindMatch.c
[ 67%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/PrettyPrint.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/PrettyPrint.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/PrettyPrint.c
[ 70%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/VdmBasicTypes.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/VdmBasicTypes.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/VdmBasicTypes.c
[ 74%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/VdmClass.c.o
[ 77%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/TypedValue.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/VdmClass.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/VdmClass.c
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/TypedValue.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/TypedValue.c
[ 80%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/VdmGC.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/VdmGC.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/VdmGC.c
[ 83%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/VdmMap.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/VdmMap.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/VdmMap.c
[ 87%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/VdmSeq.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/VdmSeq.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/VdmSeq.c
[ 90%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/VdmProduct.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/VdmProduct.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/VdmProduct.c
[ 93%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/VdmSet.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/VdmSet.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/VdmSet.c
[ 96%] Building C object CMakeFiles/wt2.dir/sources/vdmlib/VdmUnpackString.c.o
/usr/bin/cc -DCUSTOM_IO -Dwt2_EXPORTS -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources -I/fmi -I/templates -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/fmi -I/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib -fmessage-length=0 -std=c11 -fPIC -o CMakeFiles/wt2.dir/sources/vdmlib/VdmUnpackString.c.o -c /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/sources/vdmlib/VdmUnpackString.c
[100%] Linking C shared library wt2.so
/usr/bin/cmake -E cmake_link_script CMakeFiles/wt2.dir/link.txt --verbose=1
/usr/bin/cc -fPIC -fmessage-length=0 -std=c11 -fPIC -shared -Wl,-soname,wt2.so -o wt2.so CMakeFiles/wt2.dir/sources/BoolPort.c.o CMakeFiles/wt2.dir/sources/Controller.c.o CMakeFiles/wt2.dir/sources/Fmu.c.o CMakeFiles/wt2.dir/sources/FmuIO.c.o CMakeFiles/wt2.dir/sources/FmuModel.c.o CMakeFiles/wt2.dir/sources/HardwareInterface.c.o CMakeFiles/wt2.dir/sources/IO.c.o CMakeFiles/wt2.dir/sources/IntPort.c.o CMakeFiles/wt2.dir/sources/LevelSensor.c.o CMakeFiles/wt2.dir/sources/Port.c.o CMakeFiles/wt2.dir/sources/RealPort.c.o CMakeFiles/wt2.dir/sources/StringPort.c.o CMakeFiles/wt2.dir/sources/ValveActuator.c.o CMakeFiles/wt2.dir/sources/WatertankSystem.c.o CMakeFiles/wt2.dir/sources/World.c.o CMakeFiles/wt2.dir/sources/main.c.o CMakeFiles/wt2.dir/sources/vdmlib/CSVLib.c.o CMakeFiles/wt2.dir/sources/vdmlib/IOLib.c.o CMakeFiles/wt2.dir/sources/vdmlib/MATHLib.c.o CMakeFiles/wt2.dir/sources/vdmlib/PatternBindMatch.c.o CMakeFiles/wt2.dir/sources/vdmlib/PrettyPrint.c.o CMakeFiles/wt2.dir/sources/vdmlib/TypedValue.c.o CMakeFiles/wt2.dir/sources/vdmlib/VdmBasicTypes.c.o CMakeFiles/wt2.dir/sources/vdmlib/VdmClass.c.o CMakeFiles/wt2.dir/sources/vdmlib/VdmGC.c.o CMakeFiles/wt2.dir/sources/vdmlib/VdmMap.c.o CMakeFiles/wt2.dir/sources/vdmlib/VdmProduct.c.o CMakeFiles/wt2.dir/sources/vdmlib/VdmSeq.c.o CMakeFiles/wt2.dir/sources/vdmlib/VdmSet.c.o CMakeFiles/wt2.dir/sources/vdmlib/VdmUnpackString.c.o -Wl,-Bstatic -lstdc++ -Wl,-Bdynamic -lm
make[2]: Leaving directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source'
[100%] Built target wt2
make[1]: Leaving directory '/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source'
/usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/CMakeFiles 0
LINUX
FMU path is: /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output-source/binaries/linux64/wt2.so
FMU resource path is: /var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output/resources
Resource location is: file:/var/lib/jenkins/workspace/overture-fmu_master-V46MGAMJBRELTSGYJKHZCTQCFE3Q3RFXECI4ZE6Y6IZS6SEUXAIA/testing/output/resources
GUID is: {755e4da7-5501-481e-8718-9c6a49a86f7b}
Ready FMU is loaded
Called: setDebugLogging: ok
Called: setupExperiment: ok
Called: enterInitializationMode: ok
Called: exitInitializationMode: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
ok f (logAll): Level is:
ok f (logAll): 0.000000
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): true
ok f (logAll):
ok f (logAll): Valve state changed:
ok f (logAll): false
ok f (logAll):
ok f (logAll): called &periodic_taskg_WatertankSystem_controller__Z4loopEV
Called: doStep: ok
Called: terminate: ok
done
Clean up.