$ docker run --rm --name validator-libsodium-usage-php83-r17-sodium-compare-equal-vs-different-48096 -t --mount type=bind,src=/tmp/validator-status-libsodium-usage-php83-r17-sodium-compare-equal-vs-different,dst=/validator/status --mount type=bind,src=/home/runner/work/validator/validator/.work/pages-artifacts/debs/port/libsodium,dst=/override-debs,readonly validator-libsodium-shared bash -lc 'set -euo pipefail
/validator/tests/_shared/install_override_debs.sh
exec /validator/tests/_shared/run_library_tests.sh "$@"' validator-testcase libsodium usage-php83-r17-sodium-compare-equal-vs-different -- bash -c 'PS4=$1; shift; set -x; source "$@"' validator-xtrace '__VALIDATOR_XTRACE__ ' /validator/tests/libsodium/tests/cases/usage/usage-php83-r17-sodium-compare-equal-vs-different.sh
installing override packages from /override-debs
(Reading database ... (Reading database ... 5%(Reading database ... 10%(Reading database ... 15%(Reading database ... 20%(Reading database ... 25%(Reading database ... 30%(Reading database ... 35%(Reading database ... 40%(Reading database ... 45%(Reading database ... 50%(Reading database ... 55%(Reading database ... 60%(Reading database ... 65%(Reading database ... 70%(Reading database ... 75%(Reading database ... 80%(Reading database ... 85%(Reading database ... 90%(Reading database ... 95%(Reading database ... 100%(Reading database ... 22270 files and directories currently installed.)
Preparing to unpack .../libsodium-dev_1.0.18-1ubuntu0.24.04.1+safelibs1778011697_amd64.deb ...
Unpacking libsodium-dev:amd64 (1.0.18-1ubuntu0.24.04.1+safelibs1778011697) over (1.0.18-1ubuntu0.24.04.1) ...
Preparing to unpack .../libsodium23_1.0.18-1ubuntu0.24.04.1+safelibs1778011697_amd64.deb ...
Unpacking libsodium23:amd64 (1.0.18-1ubuntu0.24.04.1+safelibs1778011697) over (1.0.18-1ubuntu0.24.04.1) ...
Setting up libsodium23:amd64 (1.0.18-1ubuntu0.24.04.1+safelibs1778011697) ...
Setting up libsodium-dev:amd64 (1.0.18-1ubuntu0.24.04.1+safelibs1778011697) ...
Processing triggers for libc-bin (2.39-0ubuntu8.7) ...
$a = str_repeat("\x00", 16);
$b = str_repeat("\x00", 16);
$c = str_repeat("\x00", 15) . "\x01";
$d = str_repeat("\x00", 15) . "\x00";

$eq = sodium_compare($a, $b);
$lt = sodium_compare($a, $c);
$gt = sodium_compare($c, $d);

if ($eq !== 0) { fwrite(STDERR, "eq=$eq\n"); exit(1); }
if ($lt >= 0)  { fwrite(STDERR, "lt=$lt\n"); exit(1); }
if ($gt <= 0)  { fwrite(STDERR, "gt=$gt\n"); exit(1); }
echo "ok eq=$eq lt=$lt gt=$gt", PHP_EOL;
'
ok eq=0 lt=-1 gt=1