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-20260829T030143-0
host_port	33759
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20260829T030143/platform/6.1-platform

Commands

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-20260829T030143-0:/tmp/engula-server

ok

chmod: docker exec proof-platform-20260829T030143-0 chmod 755 /tmp/engula-server

ok

ldd_version: docker exec proof-platform-20260829T030143-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-20260829T030143-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

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

stdout=87bebf3d554cba2df5321ca09b8a27ce573b02dc76d8968e5cd2c6cd0810e868

ldd: docker exec proof-platform-20260829T030143-0 ldd /tmp/engula-server

stdout=linux-vdso.so.1 (0x00007ffdc3f54000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f8d9333c000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f8d93138000)
	librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f8d92f30000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f8d92d11000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f8d92920000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f8d936da000)

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-20260829T030143-1
host_port	37909
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20260829T030143/platform/6.1-platform

Commands

chmod: docker exec proof-platform-20260829T030143-1 chmod 755 /tmp/engula-server

ok

ldd_version: docker exec proof-platform-20260829T030143-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-20260829T030143-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

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

stdout=7f00bdabe02d28e722d32f204d9d736e8cf294233164ef8ab8ddde87020653aa

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

ok

ldd: docker exec proof-platform-20260829T030143-1 ldd /tmp/engula-server

stdout=linux-vdso.so.1 (0x00007fffbad93000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f9e1afec000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f9e1afe6000)
	librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f9e1afdc000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f9e1afb9000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f9e1adc7000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f9e1b13f000)

smoke_get: redis GET proof:platform:smoke

stdout=ok

smoke_del: redis DEL proof:platform:smoke

stdout=1

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-20260829T030143-2
host_port	41591
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20260829T030143/platform/6.1-platform

Commands

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

stdout=cac079e978b026963993afb7e48d0759bb9aa6e724a20e8e9889d109ada55c89

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

ok

chmod: docker exec proof-platform-20260829T030143-2 chmod 755 /tmp/engula-server

ok

ldd_version: docker exec proof-platform-20260829T030143-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-20260829T030143-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

ldd: docker exec proof-platform-20260829T030143-2 ldd /tmp/engula-server

stdout=linux-vdso.so.1 =>  (0x00007ffea21fd000)
	libm.so.6 => /lib64/libm.so.6 (0x00007fb46d8c6000)
	libdl.so.2 => /lib64/libdl.so.2 (0x00007fb46d6c2000)
	librt.so.1 => /lib64/librt.so.1 (0x00007fb46d4ba000)
	libpthread.so.0 => /lib64/libpthread.so.0 (0x00007fb46d29e000)
	libc.so.6 => /lib64/libc.so.6 (0x00007fb46ced0000)
	/lib64/ld-linux-x86-64.so.2 (0x00007fb46dbc8000)

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-20260829T030143-3
host_port	46715
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20260829T030143/platform/6.1-platform

Commands

smoke_del: redis DEL proof:platform:smoke

stdout=1

docker_run: docker run -d --rm --name proof-platform-20260829T030143-3 --platform linux/amd64 -p 46715:6379 centos:7.6.1810 sh -c while true; do sleep 3600; done

stdout=1d9364cb7bdbefec4b41d842e6a8d961abe131bc21a39b8f0b2b989ab46f84b4

docker_cp: docker cp /home/ecs-user/.proof/bin/engula-server proof-platform-20260829T030143-3:/tmp/engula-server

ok

chmod: docker exec proof-platform-20260829T030143-3 chmod 755 /tmp/engula-server

ok

ldd: docker exec proof-platform-20260829T030143-3 ldd /tmp/engula-server

stdout=linux-vdso.so.1 =>  (0x00007fff590ae000)
	libm.so.6 => /lib64/libm.so.6 (0x00007fcd1d626000)
	libdl.so.2 => /lib64/libdl.so.2 (0x00007fcd1d422000)
	librt.so.1 => /lib64/librt.so.1 (0x00007fcd1d21a000)
	libpthread.so.0 => /lib64/libpthread.so.0 (0x00007fcd1cffe000)
	libc.so.6 => /lib64/libc.so.6 (0x00007fcd1cc31000)
	/lib64/ld-linux-x86-64.so.2 (0x00007fcd1d928000)

ldd_version: docker exec proof-platform-20260829T030143-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-20260829T030143-3 /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

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-20260829T030143-4
host_port	45285
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20260829T030143/platform/6.1-platform

Commands

smoke_del: redis DEL proof:platform:smoke

stdout=1

chmod: docker exec proof-platform-20260829T030143-4 chmod 755 /tmp/engula-server

ok

docker_run: docker run -d --rm --name proof-platform-20260829T030143-4 --platform linux/amd64 -p 45285:6379 rockylinux:9.3.20231119 sh -c while true; do sleep 3600; done

stdout=6e3481ac48ffa3c4537a7f4612e3459b86d58afdb90e794d99ae98cb6c5ee889

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

ok

ldd: docker exec proof-platform-20260829T030143-4 ldd /tmp/engula-server

stdout=linux-vdso.so.1 (0x00007fff8495c000)
	libm.so.6 => /lib64/libm.so.6 (0x00007f6163340000)
	libdl.so.2 => /lib64/libdl.so.2 (0x00007f616333b000)
	librt.so.1 => /lib64/librt.so.1 (0x00007f6163336000)
	libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f6163331000)
	libc.so.6 => /lib64/libc.so.6 (0x00007f6163128000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f616341f000)

ldd_version: docker exec proof-platform-20260829T030143-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-20260829T030143-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

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-20260829T030143-5
host_port	44571
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20260829T030143/platform/6.1-platform

Commands

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

stdout=OK

docker_run: docker run -d --rm --name proof-platform-20260829T030143-5 --platform linux/amd64 -p 44571:6379 debian:9.8 sh -c while true; do sleep 3600; done

stdout=0d011d2aab088c7d371e80236699b13414a0e8944c32086eea0717098e993852

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

ok

chmod: docker exec proof-platform-20260829T030143-5 chmod 755 /tmp/engula-server

ok

ldd: docker exec proof-platform-20260829T030143-5 ldd /tmp/engula-server

stdout=linux-vdso.so.1 (0x00007ffd339ca000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f07bef76000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f07bed72000)
	librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f07beb6a000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f07be94d000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f07be5ae000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f07bf27a000)

server_start: docker exec -d proof-platform-20260829T030143-5 /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

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-20260829T030143-6
host_port	38997
log_dir	/home/ecs-user/ws/code-proof/results/code-proof/20260829T030143/platform/6.1-platform

Commands

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

ok

chmod: docker exec proof-platform-20260829T030143-6 chmod 755 /tmp/engula-server

ok

ldd: docker exec proof-platform-20260829T030143-6 ldd /tmp/engula-server

stdout=linux-vdso.so.1 (0x00007ffd37ffa000)
	libm.so.6 => /lib64/libm.so.6 (0x00007f03d0d90000)
	libdl.so.2 => /lib64/libdl.so.2 (0x00007f03d0d8b000)
	librt.so.1 => /lib64/librt.so.1 (0x00007f03d0d80000)
	libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f03d0d5f000)
	libc.so.6 => /lib64/libc.so.6 (0x00007f03d0ba7000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f03d0f15000)

ldd_version: docker exec proof-platform-20260829T030143-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-20260829T030143-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-20260829T030143-6 --platform linux/amd64 -p 38997:6379 openeuler/openeuler:20.03 sh -c while true; do sleep 3600; done

stdout=ca4422fc299725794a75fd6fbd61006656ecc3d3c02b6fe56fda6844e19b4e02

smoke_set: redis SET proof:platform:smoke ok

stdout=OK

smoke_get: redis GET proof:platform:smoke

stdout=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