| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260331T201501-0 |
| host_port | 44381 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260331T201501 |
docker_run: docker run -d --rm --name proof-platform-20260331T201501-0 --platform linux/amd64 -p 44381:6379 docker.1ms.run/ubuntu:18.04 sh -c while true; do sleep 3600; done
stdout=f24339f6542f99ba0f06f31c20560612f4d91a397df373a0a17a62f5197b9b3c
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260331T201501-0:/tmp/engula-server
ok
ldd_version: docker exec proof-platform-20260331T201501-0 ldd --version
stdout=ldd (Ubuntu GLIBC 2.27-3ubuntu1.6) 2.27 Copyright (C) 2018 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Written by Roland McGrath and Ulrich Drepper.
server_start: docker exec -d proof-platform-20260331T201501-0 /tmp/engula-server --port 6379 --bind 0.0.0.0 --protected-mode no --save --appendonly no
ok
chmod: docker exec proof-platform-20260331T201501-0 chmod 755 /tmp/engula-server
ok
ldd: docker exec proof-platform-20260331T201501-0 ldd /tmp/engula-server
stdout=linux-vdso.so.1 (0x00007ffeb09fb000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f6cd213e000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f6cd1f3a000) librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f6cd1d32000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f6cd1b13000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f6cd1722000) /lib64/ld-linux-x86-64.so.2 (0x00007f6cd24dc000)
smoke_set: redis SET proof:platform:smoke ok
stdout=OK
smoke_get: redis GET proof:platform:smoke
stdout=ok
smoke_del: redis DEL proof:platform:smoke
stdout=1
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260331T201501-1 |
| host_port | 33615 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260331T201501 |
ldd: docker exec proof-platform-20260331T201501-1 ldd /tmp/engula-server
stdout=linux-vdso.so.1 (0x00007ffc19bf1000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fb751c52000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fb751c4c000) librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007fb751c42000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007fb751c1f000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fb751a2d000) /lib64/ld-linux-x86-64.so.2 (0x00007fb751da5000)
docker_run: docker run -d --rm --name proof-platform-20260331T201501-1 --platform linux/amd64 -p 33615:6379 docker.1ms.run/ubuntu:20.04 sh -c while true; do sleep 3600; done
stdout=0cb07b1c2bf9fc50387f43a4c4a50cab764435c11dbb2be7f68bd4ca64f64034
ldd_version: docker exec proof-platform-20260331T201501-1 ldd --version
stdout=ldd (Ubuntu GLIBC 2.31-0ubuntu9.17) 2.31 Copyright (C) 2020 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Written by Roland McGrath and Ulrich Drepper.
server_start: docker exec -d proof-platform-20260331T201501-1 /tmp/engula-server --port 6379 --bind 0.0.0.0 --protected-mode no --save --appendonly no
ok
smoke_set: redis SET proof:platform:smoke ok
stdout=OK
smoke_get: redis GET proof:platform:smoke
stdout=ok
smoke_del: redis DEL proof:platform:smoke
stdout=1
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260331T201501-1:/tmp/engula-server
ok
chmod: docker exec proof-platform-20260331T201501-1 chmod 755 /tmp/engula-server
ok
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260331T201501-2 |
| host_port | 40267 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260331T201501 |
ldd: docker exec proof-platform-20260331T201501-2 ldd /tmp/engula-server
stdout=linux-vdso.so.1 => (0x00007fff087a3000) libm.so.6 => /lib64/libm.so.6 (0x00007f082be89000) libdl.so.2 => /lib64/libdl.so.2 (0x00007f082bc85000) librt.so.1 => /lib64/librt.so.1 (0x00007f082ba7d000) libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f082b861000) libc.so.6 => /lib64/libc.so.6 (0x00007f082b493000) /lib64/ld-linux-x86-64.so.2 (0x00007f082c18b000)
ldd_version: docker exec proof-platform-20260331T201501-2 ldd --version
stdout=ldd (GNU libc) 2.17 Copyright (C) 2012 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Written by Roland McGrath and Ulrich Drepper.
server_start: docker exec -d proof-platform-20260331T201501-2 /tmp/engula-server --port 6379 --bind 0.0.0.0 --protected-mode no --save --appendonly no
ok
smoke_set: redis SET proof:platform:smoke ok
stdout=OK
smoke_get: redis GET proof:platform:smoke
stdout=ok
smoke_del: redis DEL proof:platform:smoke
stdout=1
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260331T201501-2:/tmp/engula-server
ok
docker_run: docker run -d --rm --name proof-platform-20260331T201501-2 --platform linux/amd64 -p 40267:6379 docker.1ms.run/centos:7.9.2009 sh -c while true; do sleep 3600; done
stdout=6fd9786859cd40aeae48b5f368510c685c586906d92a96bae57db4ded01e32d8
chmod: docker exec proof-platform-20260331T201501-2 chmod 755 /tmp/engula-server
ok
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260331T201501-3 |
| host_port | 38871 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260331T201501 |
docker_run: docker run -d --rm --name proof-platform-20260331T201501-3 --platform linux/amd64 -p 38871:6379 docker.1ms.run/centos:7.6.1810 sh -c while true; do sleep 3600; done
stdout=9643806f3b1845ea2fdfc0bbe615a68cced87e265daf41b2f993bc7d2e708439
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260331T201501-3:/tmp/engula-server
ok
chmod: docker exec proof-platform-20260331T201501-3 chmod 755 /tmp/engula-server
ok
ldd: docker exec proof-platform-20260331T201501-3 ldd /tmp/engula-server
stdout=linux-vdso.so.1 => (0x00007ffe0c162000) libm.so.6 => /lib64/libm.so.6 (0x00007f0c80197000) libdl.so.2 => /lib64/libdl.so.2 (0x00007f0c7ff93000) librt.so.1 => /lib64/librt.so.1 (0x00007f0c7fd8b000) libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f0c7fb6f000) libc.so.6 => /lib64/libc.so.6 (0x00007f0c7f7a2000) /lib64/ld-linux-x86-64.so.2 (0x00007f0c80499000)
server_start: docker exec -d proof-platform-20260331T201501-3 /tmp/engula-server --port 6379 --bind 0.0.0.0 --protected-mode no --save --appendonly no
ok
smoke_get: redis GET proof:platform:smoke
stdout=ok
ldd_version: docker exec proof-platform-20260331T201501-3 ldd --version
stdout=ldd (GNU libc) 2.17 Copyright (C) 2012 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Written by Roland McGrath and Ulrich Drepper.
smoke_set: redis SET proof:platform:smoke ok
stdout=OK
smoke_del: redis DEL proof:platform:smoke
stdout=1
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260331T201501-4 |
| host_port | 37033 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260331T201501 |
ldd_version: docker exec proof-platform-20260331T201501-4 ldd --version
stdout=ldd (GNU libc) 2.34 Copyright (C) 2021 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Written by Roland McGrath and Ulrich Drepper.
smoke_del: redis DEL proof:platform:smoke
stdout=1
docker_run: docker run -d --rm --name proof-platform-20260331T201501-4 --platform linux/amd64 -p 37033:6379 docker.1ms.run/rockylinux:9.3.20231119 sh -c while true; do sleep 3600; done
stdout=3502b4c97b846bb311c938c4dbcfd1b49aca46932491a5ea70900ab64ee1ded9
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260331T201501-4:/tmp/engula-server
ok
chmod: docker exec proof-platform-20260331T201501-4 chmod 755 /tmp/engula-server
ok
ldd: docker exec proof-platform-20260331T201501-4 ldd /tmp/engula-server
stdout=linux-vdso.so.1 (0x00007fffa7b8e000) libm.so.6 => /lib64/libm.so.6 (0x00007f7c65393000) libdl.so.2 => /lib64/libdl.so.2 (0x00007f7c6538e000) librt.so.1 => /lib64/librt.so.1 (0x00007f7c65389000) libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f7c65384000) libc.so.6 => /lib64/libc.so.6 (0x00007f7c6517b000) /lib64/ld-linux-x86-64.so.2 (0x00007f7c65472000)
server_start: docker exec -d proof-platform-20260331T201501-4 /tmp/engula-server --port 6379 --bind 0.0.0.0 --protected-mode no --save --appendonly no
ok
smoke_set: redis SET proof:platform:smoke ok
stdout=OK
smoke_get: redis GET proof:platform:smoke
stdout=ok
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260331T201501-5 |
| host_port | 34377 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260331T201501 |
ldd: docker exec proof-platform-20260331T201501-5 ldd /tmp/engula-server
stdout=linux-vdso.so.1 (0x00007ffd61de7000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fad62112000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fad61f0e000) librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007fad61d06000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007fad61ae9000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fad6174a000) /lib64/ld-linux-x86-64.so.2 (0x00007fad62416000)
ldd_version: docker exec proof-platform-20260331T201501-5 ldd --version
stdout=ldd (Debian GLIBC 2.24-11+deb9u4) 2.24 Copyright (C) 2016 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Written by Roland McGrath and Ulrich Drepper.
smoke_del: redis DEL proof:platform:smoke
stdout=1
docker_run: docker run -d --rm --name proof-platform-20260331T201501-5 --platform linux/amd64 -p 34377:6379 docker.1ms.run/debian:9.8 sh -c while true; do sleep 3600; done
stdout=bde5188f42d7f4d8efde42d79a97705707b0468a4682b295a4da6bbff148ef01
server_start: docker exec -d proof-platform-20260331T201501-5 /tmp/engula-server --port 6379 --bind 0.0.0.0 --protected-mode no --save --appendonly no
ok
smoke_set: redis SET proof:platform:smoke ok
stdout=OK
smoke_get: redis GET proof:platform:smoke
stdout=ok
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260331T201501-5:/tmp/engula-server
ok
chmod: docker exec proof-platform-20260331T201501-5 chmod 755 /tmp/engula-server
ok
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260331T201501-6 |
| host_port | 46447 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260331T201501 |
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260331T201501-6:/tmp/engula-server
ok
ldd: docker exec proof-platform-20260331T201501-6 ldd /tmp/engula-server
stdout=linux-vdso.so.1 (0x00007ffc5e59b000) libm.so.6 => /lib64/libm.so.6 (0x00007f17ba0d7000) libdl.so.2 => /lib64/libdl.so.2 (0x00007f17ba0d2000) librt.so.1 => /lib64/librt.so.1 (0x00007f17ba0c7000) libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f17ba0a6000) libc.so.6 => /lib64/libc.so.6 (0x00007f17b9eee000) /lib64/ld-linux-x86-64.so.2 (0x00007f17ba25c000)
ldd_version: docker exec proof-platform-20260331T201501-6 ldd --version
stdout=ldd (GNU libc) 2.28 Copyright (C) 2018 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Written by Roland McGrath and Ulrich Drepper.
server_start: docker exec -d proof-platform-20260331T201501-6 /tmp/engula-server --port 6379 --bind 0.0.0.0 --protected-mode no --save --appendonly no
ok
smoke_del: redis DEL proof:platform:smoke
stdout=1
docker_run: docker run -d --rm --name proof-platform-20260331T201501-6 --platform linux/amd64 -p 46447:6379 docker.1ms.run/openeuler/openeuler:20.03 sh -c while true; do sleep 3600; done
stdout=bb90a3718910ce2fbf00ed4edde8cb684075958958be2ea6ce58656dc3c275be
chmod: docker exec proof-platform-20260331T201501-6 chmod 755 /tmp/engula-server
ok
smoke_set: redis SET proof:platform:smoke ok
stdout=OK
smoke_get: redis GET proof:platform:smoke
stdout=ok