$ docker run --rm --name validator-libsodium-usage-ruby-rbnacl-util-verify32-48096 -t --mount type=bind,src=/tmp/validator-status-libsodium-usage-ruby-rbnacl-util-verify32,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-ruby-rbnacl-util-verify32 -- bash -c 'PS4=$1; shift; set -x; source "$@"' validator-xtrace '__VALIDATOR_XTRACE__ ' /validator/tests/libsodium/tests/cases/usage/usage-ruby-rbnacl-util-verify32.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) ...
a32 = ("\x10".b * 32)
b32 = a32.dup
raise "verify32 false-negative" unless RbNaCl::Util.verify32(a32, b32)

# Differ in the first byte.
diff_first = a32.dup
diff_first.setbyte(0, diff_first.getbyte(0) ^ 0x01)
raise "verify32 false-positive (first byte)" if RbNaCl::Util.verify32(a32, diff_first)

# Differ in the last byte.
diff_last = a32.dup
diff_last.setbyte(31, diff_last.getbyte(31) ^ 0x01)
raise "verify32 false-positive (last byte)" if RbNaCl::Util.verify32(a32, diff_last)

# Wrong length must not return true.
short = ("\x10".b * 31)
ok_short = false
begin
  ok_short = RbNaCl::Util.verify32(a32, short)
rescue ArgumentError, RbNaCl::LengthError
  ok_short = false
end
raise "verify32 accepted wrong-length input" if ok_short

# verify16 mirror check on the same shape.
a16 = ("\xa5".b * 16)
b16 = a16.dup
raise "verify16 false-negative" unless RbNaCl::Util.verify16(a16, b16)
diff16 = a16.dup
diff16.setbyte(0, diff16.getbyte(0) ^ 0x80)
raise "verify16 false-positive" if RbNaCl::Util.verify16(a16, diff16)

puts "ok"
'
ok