| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260526T151416-0 |
| host_port | 44309 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260526T151416 |
docker_run: docker run -d --rm --name proof-platform-20260526T151416-0 --platform linux/amd64 -p 44309:6379 ubuntu:18.04 sh -c while true; do sleep 3600; done
stdout=acaade4e36f2327a3844d77f33f063a5ec2895f700bbf30b868f50f487eff50c
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260526T151416-0:/tmp/engula-server
ok
chmod: docker exec proof-platform-20260526T151416-0 chmod 755 /tmp/engula-server
ok
server_start: docker exec -d proof-platform-20260526T151416-0 /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
ldd: docker exec proof-platform-20260526T151416-0 ldd /tmp/engula-server
stdout=linux-vdso.so.1 (0x00007ffe48164000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f38a1e0a000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f38a1c06000) librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f38a19fe000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f38a17df000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f38a13ee000) /lib64/ld-linux-x86-64.so.2 (0x00007f38a21a8000)
ldd_version: docker exec proof-platform-20260526T151416-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.
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-20260526T151416-1 |
| host_port | 42033 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260526T151416 |
docker_run: docker run -d --rm --name proof-platform-20260526T151416-1 --platform linux/amd64 -p 42033:6379 ubuntu:20.04 sh -c while true; do sleep 3600; done
stdout=ef45d5a79a9aaf9e77f1cef30b9c85ccbe8773428013346f78849f442f194fc7
smoke_set: redis SET proof:platform:smoke ok
stdout=OK
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260526T151416-1:/tmp/engula-server
ok
chmod: docker exec proof-platform-20260526T151416-1 chmod 755 /tmp/engula-server
ok
ldd: docker exec proof-platform-20260526T151416-1 ldd /tmp/engula-server
stdout=linux-vdso.so.1 (0x00007ffcf4f2b000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fcddb0ee000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fcddb0e8000) librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007fcddb0de000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007fcddb0bb000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fcddaec9000) /lib64/ld-linux-x86-64.so.2 (0x00007fcddb241000)
ldd_version: docker exec proof-platform-20260526T151416-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-20260526T151416-1 /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
smoke_del: redis DEL proof:platform:smoke
stdout=1
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260526T151416-2 |
| host_port | 46199 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260526T151416 |
smoke_del: redis DEL proof:platform:smoke
stdout=1
docker_run: docker run -d --rm --name proof-platform-20260526T151416-2 --platform linux/amd64 -p 46199:6379 centos:7.9.2009 sh -c while true; do sleep 3600; done
stdout=87acb21ff744f97d1efb7c8b585e678755bc8d5662fa074cb3490b9e3c4c446c
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260526T151416-2:/tmp/engula-server
ok
chmod: docker exec proof-platform-20260526T151416-2 chmod 755 /tmp/engula-server
ok
ldd: docker exec proof-platform-20260526T151416-2 ldd /tmp/engula-server
stdout=linux-vdso.so.1 => (0x00007ffeeb139000) libm.so.6 => /lib64/libm.so.6 (0x00007fd20aac2000) libdl.so.2 => /lib64/libdl.so.2 (0x00007fd20a8be000) librt.so.1 => /lib64/librt.so.1 (0x00007fd20a6b6000) libpthread.so.0 => /lib64/libpthread.so.0 (0x00007fd20a49a000) libc.so.6 => /lib64/libc.so.6 (0x00007fd20a0cc000) /lib64/ld-linux-x86-64.so.2 (0x00007fd20adc4000)
ldd_version: docker exec proof-platform-20260526T151416-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-20260526T151416-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
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260526T151416-3 |
| host_port | 40933 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260526T151416 |
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260526T151416-3:/tmp/engula-server
ok
chmod: docker exec proof-platform-20260526T151416-3 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
smoke_del: redis DEL proof:platform:smoke
stdout=1
docker_run: docker run -d --rm --name proof-platform-20260526T151416-3 --platform linux/amd64 -p 40933:6379 centos:7.6.1810 sh -c while true; do sleep 3600; done
stdout=e51f710d3987b71065242bc9bdd88b5dc7449a74780cde941f8289b1e3b39407
ldd: docker exec proof-platform-20260526T151416-3 ldd /tmp/engula-server
stdout=linux-vdso.so.1 => (0x00007ffe92150000) libm.so.6 => /lib64/libm.so.6 (0x00007faa27ccc000) libdl.so.2 => /lib64/libdl.so.2 (0x00007faa27ac8000) librt.so.1 => /lib64/librt.so.1 (0x00007faa278c0000) libpthread.so.0 => /lib64/libpthread.so.0 (0x00007faa276a4000) libc.so.6 => /lib64/libc.so.6 (0x00007faa272d7000) /lib64/ld-linux-x86-64.so.2 (0x00007faa27fce000)
ldd_version: docker exec proof-platform-20260526T151416-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.
server_start: docker exec -d proof-platform-20260526T151416-3 /tmp/engula-server --port 6379 --bind 0.0.0.0 --protected-mode no --save --appendonly no
ok
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260526T151416-4 |
| host_port | 38285 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260526T151416 |
ldd: docker exec proof-platform-20260526T151416-4 ldd /tmp/engula-server
stdout=linux-vdso.so.1 (0x00007ffc635ef000) libm.so.6 => /lib64/libm.so.6 (0x00007f17e7c56000) libdl.so.2 => /lib64/libdl.so.2 (0x00007f17e7c51000) librt.so.1 => /lib64/librt.so.1 (0x00007f17e7c4c000) libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f17e7c47000) libc.so.6 => /lib64/libc.so.6 (0x00007f17e7a3e000) /lib64/ld-linux-x86-64.so.2 (0x00007f17e7d35000)
smoke_set: redis SET proof:platform:smoke ok
stdout=OK
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260526T151416-4:/tmp/engula-server
ok
ldd_version: docker exec proof-platform-20260526T151416-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.
server_start: docker exec -d proof-platform-20260526T151416-4 /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
smoke_del: redis DEL proof:platform:smoke
stdout=1
docker_run: docker run -d --rm --name proof-platform-20260526T151416-4 --platform linux/amd64 -p 38285:6379 rockylinux:9.3.20231119 sh -c while true; do sleep 3600; done
stdout=71912430cec24440c859d6a3bfd2c2175e3a79711296382517ae3384f9ef9d04
chmod: docker exec proof-platform-20260526T151416-4 chmod 755 /tmp/engula-server
ok
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260526T151416-5 |
| host_port | 42763 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260526T151416 |
smoke_del: redis DEL proof:platform:smoke
stdout=1
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260526T151416-5:/tmp/engula-server
ok
docker_run: docker run -d --rm --name proof-platform-20260526T151416-5 --platform linux/amd64 -p 42763:6379 debian:9.8 sh -c while true; do sleep 3600; done
stdout=29ac0b9818a1964c433bc1e2707aae001ff231fe19c9a78349af19cec0d5d6f2
chmod: docker exec proof-platform-20260526T151416-5 chmod 755 /tmp/engula-server
ok
ldd: docker exec proof-platform-20260526T151416-5 ldd /tmp/engula-server
stdout=linux-vdso.so.1 (0x00007ffdb1b34000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f1e2ae9a000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f1e2ac96000) librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f1e2aa8e000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f1e2a871000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f1e2a4d2000) /lib64/ld-linux-x86-64.so.2 (0x00007f1e2b19e000)
ldd_version: docker exec proof-platform-20260526T151416-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.
server_start: docker exec -d proof-platform-20260526T151416-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
| ldd_ok | true |
|---|---|
| start_ok | true |
| smoke_test_ok | true |
| container | proof-platform-20260526T151416-6 |
| host_port | 32827 |
| log_dir | /home/ecs-user/ws/engula-proof-suites/results/platform-6.1-platform-logs/20260526T151416 |
ldd_version: docker exec proof-platform-20260526T151416-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.
smoke_set: redis SET proof:platform:smoke ok
stdout=OK
docker_run: docker run -d --rm --name proof-platform-20260526T151416-6 --platform linux/amd64 -p 32827:6379 openeuler/openeuler:20.03 sh -c while true; do sleep 3600; done
stdout=2a486803957e8772398a63c7c7762867769acbd395fcfb1cf10391af33db9914
docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260526T151416-6:/tmp/engula-server
ok
ldd: docker exec proof-platform-20260526T151416-6 ldd /tmp/engula-server
stdout=linux-vdso.so.1 (0x00007ffe61f95000) libm.so.6 => /lib64/libm.so.6 (0x00007f0212b01000) libdl.so.2 => /lib64/libdl.so.2 (0x00007f0212afc000) librt.so.1 => /lib64/librt.so.1 (0x00007f0212af1000) libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f0212ad0000) libc.so.6 => /lib64/libc.so.6 (0x00007f0212918000) /lib64/ld-linux-x86-64.so.2 (0x00007f0212c86000)
server_start: docker exec -d proof-platform-20260526T151416-6 /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
smoke_del: redis DEL proof:platform:smoke
stdout=1
chmod: docker exec proof-platform-20260526T151416-6 chmod 755 /tmp/engula-server
ok