Platform Report

ubuntu:18.04

Platform ID: ubuntu1804-x86_64

Arch: amd64

glibc: 2.27

Status: pass

ldd_ok	true
start_ok	true
smoke_test_ok	true
container	proof-platform-20261010T063444-0
host_port	45031
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20261010T063444/platform/6.1-platform

Commands

ldd: docker exec proof-platform-20261010T063444-0 ldd /tmp/engula-server

stdout=linux-vdso.so.1 (0x00007ffd2aca6000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f36d93cb000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f36d91c7000)
	librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f36d8fbf000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f36d8da0000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f36d89af000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f36d9769000)

ldd_version: docker exec proof-platform-20261010T063444-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.

docker_run: docker run -d --rm --name proof-platform-20261010T063444-0 --platform linux/amd64 -p 45031:6379 ubuntu:18.04 sh -c while true; do sleep 3600; done

stdout=bbe1b54d862ffce6b5918cebe77cc026327f444e60eb4c1ec04438aa8c57645c

docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20261010T063444-0:/tmp/engula-server

ok

server_start: docker exec -d proof-platform-20261010T063444-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

smoke_get: redis GET proof:platform:smoke

stdout=ok

smoke_del: redis DEL proof:platform:smoke

stdout=1

chmod: docker exec proof-platform-20261010T063444-0 chmod 755 /tmp/engula-server

ok

ubuntu:20.04

Platform ID: ubuntu2004-x86_64

Arch: amd64

glibc: 2.31

Status: pass

ldd_ok	true
start_ok	true
smoke_test_ok	true
container	proof-platform-20261010T063444-1
host_port	39123
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20261010T063444/platform/6.1-platform

Commands

docker_run: docker run -d --rm --name proof-platform-20261010T063444-1 --platform linux/amd64 -p 39123:6379 ubuntu:20.04 sh -c while true; do sleep 3600; done

stdout=9a1626e0892137de68640bf00d19d120c5c07345a7a7cff2f360ff31c3082f0f

docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20261010T063444-1:/tmp/engula-server

ok

chmod: docker exec proof-platform-20261010T063444-1 chmod 755 /tmp/engula-server

ok

ldd: docker exec proof-platform-20261010T063444-1 ldd /tmp/engula-server

stdout=linux-vdso.so.1 (0x00007ffdf47a3000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007ff50f2b8000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007ff50f2b2000)
	librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007ff50f2a8000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007ff50f285000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007ff50f093000)
	/lib64/ld-linux-x86-64.so.2 (0x00007ff50f40b000)

smoke_get: redis GET proof:platform:smoke

stdout=ok

smoke_del: redis DEL proof:platform:smoke

stdout=1

ldd_version: docker exec proof-platform-20261010T063444-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-20261010T063444-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

centos:7.9.2009

Platform ID: centos79-x86_64

Arch: amd64

glibc: 2.17

Status: pass

ldd_ok	true
start_ok	true
smoke_test_ok	true
container	proof-platform-20261010T063444-2
host_port	42285
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20261010T063444/platform/6.1-platform

Commands

ldd: docker exec proof-platform-20261010T063444-2 ldd /tmp/engula-server

stdout=linux-vdso.so.1 =>  (0x00007ffeeff62000)
	libm.so.6 => /lib64/libm.so.6 (0x00007f97e1a27000)
	libdl.so.2 => /lib64/libdl.so.2 (0x00007f97e1823000)
	librt.so.1 => /lib64/librt.so.1 (0x00007f97e161b000)
	libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f97e13ff000)
	libc.so.6 => /lib64/libc.so.6 (0x00007f97e1031000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f97e1d29000)

server_start: docker exec -d proof-platform-20261010T063444-2 /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

ldd_version: docker exec proof-platform-20261010T063444-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.

smoke_set: redis SET proof:platform:smoke ok

stdout=OK

smoke_get: redis GET proof:platform:smoke

stdout=ok

docker_run: docker run -d --rm --name proof-platform-20261010T063444-2 --platform linux/amd64 -p 42285:6379 centos:7.9.2009 sh -c while true; do sleep 3600; done

stdout=deb962111cf1d0cb80a067964bf10060910ad8296eee0b31454962db1fdcf179

docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20261010T063444-2:/tmp/engula-server

ok

chmod: docker exec proof-platform-20261010T063444-2 chmod 755 /tmp/engula-server

ok

centos:7.6.1810

Platform ID: centos76-x86_64

Arch: amd64

glibc: 2.17

Status: pass

ldd_ok	true
start_ok	true
smoke_test_ok	true
container	proof-platform-20261010T063444-3
host_port	34809
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20261010T063444/platform/6.1-platform

Commands

ldd: docker exec proof-platform-20261010T063444-3 ldd /tmp/engula-server

stdout=linux-vdso.so.1 =>  (0x00007ffcf21c7000)
	libm.so.6 => /lib64/libm.so.6 (0x00007f6e5d721000)
	libdl.so.2 => /lib64/libdl.so.2 (0x00007f6e5d51d000)
	librt.so.1 => /lib64/librt.so.1 (0x00007f6e5d315000)
	libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f6e5d0f9000)
	libc.so.6 => /lib64/libc.so.6 (0x00007f6e5cd2c000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f6e5da23000)

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-20261010T063444-3:/tmp/engula-server

ok

ldd_version: docker exec proof-platform-20261010T063444-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-20261010T063444-3 /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-20261010T063444-3 --platform linux/amd64 -p 34809:6379 centos:7.6.1810 sh -c while true; do sleep 3600; done

stdout=7bc6890282b7a8911241e4561982849f3234da034914933e267e47e7e9bf5765

chmod: docker exec proof-platform-20261010T063444-3 chmod 755 /tmp/engula-server

ok

rockylinux:9.3.20231119

Platform ID: rockylinux93-x86_64

Arch: amd64

glibc: 2.34

Status: pass

ldd_ok	true
start_ok	true
smoke_test_ok	true
container	proof-platform-20261010T063444-4
host_port	41099
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20261010T063444/platform/6.1-platform

Commands

ldd_version: docker exec proof-platform-20261010T063444-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_set: redis SET proof:platform:smoke ok

stdout=OK

ldd: docker exec proof-platform-20261010T063444-4 ldd /tmp/engula-server

stdout=linux-vdso.so.1 (0x00007ffff77eb000)
	libm.so.6 => /lib64/libm.so.6 (0x00007f95fc124000)
	libdl.so.2 => /lib64/libdl.so.2 (0x00007f95fc11f000)
	librt.so.1 => /lib64/librt.so.1 (0x00007f95fc11a000)
	libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f95fc115000)
	libc.so.6 => /lib64/libc.so.6 (0x00007f95fbf0c000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f95fc203000)

server_start: docker exec -d proof-platform-20261010T063444-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-20261010T063444-4 --platform linux/amd64 -p 41099:6379 rockylinux:9.3.20231119 sh -c while true; do sleep 3600; done

stdout=1b0ad6e826aa0f7dcd4e5951523222ff290c1a4db21478432fc9754b78289632

docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20261010T063444-4:/tmp/engula-server

ok

chmod: docker exec proof-platform-20261010T063444-4 chmod 755 /tmp/engula-server

ok

debian:9.8

Platform ID: debian98-x86_64

Arch: amd64

glibc: 2.24

Status: pass

ldd_ok	true
start_ok	true
smoke_test_ok	true
container	proof-platform-20261010T063444-5
host_port	37965
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20261010T063444/platform/6.1-platform

Commands

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-20261010T063444-5 --platform linux/amd64 -p 37965:6379 debian:9.8 sh -c while true; do sleep 3600; done

stdout=b14314e9137cd7d7c181e6fceebbdb1090090850563ae3d24a405d3ab8dadfa0

docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20261010T063444-5:/tmp/engula-server

ok

chmod: docker exec proof-platform-20261010T063444-5 chmod 755 /tmp/engula-server

ok

ldd: docker exec proof-platform-20261010T063444-5 ldd /tmp/engula-server

stdout=linux-vdso.so.1 (0x00007ffe46394000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f6acd803000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f6acd5ff000)
	librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f6acd3f7000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f6acd1da000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f6acce3b000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f6acdb07000)

ldd_version: docker exec proof-platform-20261010T063444-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-20261010T063444-5 /tmp/engula-server --port 6379 --bind 0.0.0.0 --protected-mode no --save --appendonly no

ok

openeuler/openeuler:20.03

Platform ID: openeuler2003-x86_64

Arch: amd64

glibc: 2.28

Status: pass

ldd_ok	true
start_ok	true
smoke_test_ok	true
container	proof-platform-20261010T063444-6
host_port	38421
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20261010T063444/platform/6.1-platform

Commands

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

chmod: docker exec proof-platform-20261010T063444-6 chmod 755 /tmp/engula-server

ok

docker_run: docker run -d --rm --name proof-platform-20261010T063444-6 --platform linux/amd64 -p 38421:6379 openeuler/openeuler:20.03 sh -c while true; do sleep 3600; done

stdout=060ae1b1d3ffba245be572dfb4f27413566c3cc1bd278596b0c07b23e8598352

docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20261010T063444-6:/tmp/engula-server

ok

ldd: docker exec proof-platform-20261010T063444-6 ldd /tmp/engula-server

stdout=linux-vdso.so.1 (0x00007ffd74993000)
	libm.so.6 => /lib64/libm.so.6 (0x00007f4e252c6000)
	libdl.so.2 => /lib64/libdl.so.2 (0x00007f4e252c1000)
	librt.so.1 => /lib64/librt.so.1 (0x00007f4e252b6000)
	libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f4e25295000)
	libc.so.6 => /lib64/libc.so.6 (0x00007f4e250dd000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f4e2544b000)

ldd_version: docker exec proof-platform-20261010T063444-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-20261010T063444-6 /tmp/engula-server --port 6379 --bind 0.0.0.0 --protected-mode no --save --appendonly no

ok

Platform Matrix Report

ubuntu:18.04

Commands

ubuntu:20.04

Commands

centos:7.9.2009

Commands

centos:7.6.1810

Commands

rockylinux:9.3.20231119

Commands

debian:9.8

Commands

openeuler/openeuler:20.03

Commands