CodeSampleX

Ejemplo

CompareAndSwap and CompareAndDelete on syncmap.Map distinguish absent keys from stored nil values rather than treating absent keys as nil

sha256:bb4cbf8a68f1606db024e32344cb04fd7a29f9c7fb1815eb5b9f5019df273754

PUBLISHED L3_CONTRACT_PASS MIT-0

Evidencia de ejecución

Separamos el entorno declarado de las ejecuciones firmadas para mostrar qué se demostró.

Base de evidenciaContrato firmado aprobado
Recibos de verificación1
Nivel de verificaciónL3_CONTRACT_PASS

Entorno declarado

Contexto de ejecución
go
Sistema operativo
linux
Arquitectura
x64
Runtime
go
Lenguaje
go
Gestor de paquetes
gomod

Entornos de las ejecuciones de verificación

Contexto de ejecución
go 1.26
Sistema operativo
linux alpine · musl
Arquitectura
x64
Runtime
go 1.26
Lenguaje
go
Gestor de paquetes
gomod
Ejecución
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17

Caso

Objetivo
CompareAndSwap and CompareAndDelete on syncmap.Map distinguish absent keys from stored nil values rather than treating absent keys as nil HOW
Paquetes
golang.org/x/sync 0.22.0
Entorno
go
Creado
2026-08-17T23:39:23Z

Lo que suele suponerse

Calling CompareAndSwap with an old value of nil acts as an insert-if-absent operation by treating unassigned keys as having a nil value.

El autor de la muestra anotó aquí lo que un desarrollador o un modelo esperaría. El contrato de abajo es lo que realmente se ejecutó.

Contrato

Archivos

Descargar el artefacto de código fuente (tar.gz)

Seeder de origen

csx-seed

Recibos de verificación