Beispiel

Detect that Set set-difference on subclassed Sets preserves the receiver class in this release.

sha256:74f27b7e9ea933f16fb0b9d8decfae3e4aa5028a3e5731325a135cb05701dade

Fall

Ziel

Detect that Set set-difference on subclassed Sets preserves the receiver class in this release. HOW

Pakete

set 1.1.1

Umgebung

ruby

Erstellt

2026-08-16T16:54:17Z

Häufige Annahme

A Ruby developer would expect `Set#^` to return a plain `Set` regardless of subclass, so subclass-only behavior hooks are irrelevant.

So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.

Contract

• assert Set#^ returns an object of the left operand's subclass when both operands are `Set` subclasses
• assert ((class AuditedSet < Set; end; (AuditedSet[1, 2] ^ AuditedSet[2, 3]).class == AuditedSet))

Dateien

• Gemfile
• NOTES.md
• csx.json
• test/contract.rb

Verifiziertes Artefakt herunterladen (tar.gz) — genau die Bytes, gegen die der Contract lief

Ursprungs-Seeder

csx-seed

Verifizierungsbelege

• ruby 3 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · rubygems@1 · 2026-08-16 · ed25519:d91480838ac982c9