github.com/stretchr/testify v1.3.0: assert.Subset

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify github.com/stretchr/testify/assert.Subset in pkg:golang/github.com/stretchr/testify@v1.3.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/github.com/stretchr/testify@v1.3.0
Demonstrate these symbols/APIs:
  - github.com/stretchr/testify/assert.Subset

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:c88019589cafa99a0a01740ede69fe1bc590dc98d138a027a6558017aab8bd6e","contract":["assert.Subset returns true and records no error when all elements of subset slice are present in list slice regardless of order","assert.Subset returns true and records no error when subset is nil or an empty slice","assert.Subset returns false and records an error when subset contains an element not present in list","assert.Subset returns false and records an error when list is not an array or slice","assert.Subset returns false and records an error when subset is not an array, slice, or nil"],"goal":"verify github.com/stretchr/testify/assert.Subset in pkg:golang/github.com/stretchr/testify@v1.3.0","kind":"HOW","packages":["pkg:golang/github.com/stretchr/testify@v1.3.0"],"schemaVersion":1,"symbols":["github.com/stretchr/testify/assert.Subset"]},"contractCommand":["go","run","./test"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"golang","language":"go","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"go","packageManagerVersion":"1.26.6","runtime":"go","runtimeVersion":"1.26.6","schemaVersion":1},"license":"MIT-0","packages":["pkg:golang/github.com/stretchr/testify@v1.3.0"],"schemaVersion":1,"subject":"pkg:golang/github.com/stretchr/testify@v1.3.0","symbols":["github.com/stretchr/testify/assert.Subset"],"verifierAdapter":"golang@1"}

module sample

go 1.26.6

require github.com/stretchr/testify v1.3.0

require (
	github.com/davecgh/go-spew v1.1.0 // indirect
	github.com/pmezard/go-difflib v1.0.0 // indirect
)

github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8=
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
github.com/pmezard/go-difflib v1.0.0 h1:4DBwDE0NGyQoBHbLQYPwSUPoCMWR5BEzIk/f1lZbAQM=
github.com/pmezard/go-difflib v1.0.0/go.mod h1:iKH77koFhYxTK1pcRnkKkqfTogsbg7gZNVY4sRDYZ/4=
github.com/stretchr/objx v0.1.0/go.mod h1:HFkY916IF+rwdDfMAkV7OtwuqBVzrE8GR6GFx+wExME=
github.com/stretchr/testify v1.3.0 h1:TivCn/peBQ7UY8ooIcPgZFpTNSz0Q2U6UrFlUfqbe0Q=
github.com/stretchr/testify v1.3.0/go.mod h1:M5WIy9Dh21IEIfnGCwXGc5bZfKNJtfHm1UVUgZn+9EI=

package main

import (
	"fmt"

	"github.com/stretchr/testify/assert"
)

// Reporter implements assert.TestingT to record assertion outcomes.
type Reporter struct {
	errors []string
	failed bool
}

func (r *Reporter) Errorf(format string, args ...interface{}) {
	r.failed = true
	r.errors = append(r.errors, fmt.Sprintf(format, args...))
}

func main() {
	reporter := &Reporter{}

	// Example 1: Verifying a slice is a subset regardless of element order
	allFruits := []string{"apple", "banana", "cherry", "date"}
	selectedFruits := []string{"date", "apple"}
	if assert.Subset(reporter, allFruits, selectedFruits) {
		fmt.Println("selectedFruits is confirmed to be a subset of allFruits.")
	}

	// Example 2: Verifying integer slice subsets
	fullSet := []int{10, 20, 30, 40, 50}
	evenSet := []int{20, 40}
	if assert.Subset(reporter, fullSet, evenSet) {
		fmt.Println("evenSet is confirmed to be a subset of fullSet.")
	}

	// Example 3: Empty subset is always a subset
	emptySet := []int{}
	if assert.Subset(reporter, fullSet, emptySet) {
		fmt.Println("emptySet is confirmed to be a subset of fullSet.")
	}

	if !reporter.failed {
		fmt.Println("All assert.Subset demonstrations succeeded.")
	}
}

{
  "schemaVersion": 1,
  "goal": "verify github.com/stretchr/testify/assert.Subset in pkg:golang/github.com/stretchr/testify@v1.3.0",
  "kind": "HOW",
  "packages": [
    "pkg:golang/github.com/stretchr/testify@v1.3.0"
  ],
  "symbols": [
    "github.com/stretchr/testify/assert.Subset"
  ]
}

package main

import (
	"fmt"
	"os"

	"github.com/stretchr/testify/assert"
)

type contractTestingT struct {
	errors []string
	failed bool
}

func (t *contractTestingT) Errorf(format string, args ...interface{}) {
	t.failed = true
	t.errors = append(t.errors, fmt.Sprintf(format, args...))
}

func main() {
	// Assertion 1: assert.Subset returns true and records no error when all elements of subset slice are present in list slice regardless of order
	{
		t := &contractTestingT{}
		list := []string{"apple", "banana", "cherry"}
		subset := []string{"cherry", "apple"}
		if !assert.Subset(t, list, subset) || t.failed || len(t.errors) != 0 {
			fmt.Fprintf(os.Stderr, "assertion 1 failed: Subset should return true when all elements are present\n")
			os.Exit(1)
		}
	}

	// Assertion 2: assert.Subset returns true and records no error when subset is nil or an empty slice
	{
		tNil := &contractTestingT{}
		list := []int{1, 2, 3}
		if !assert.Subset(tNil, list, nil) || tNil.failed || len(tNil.errors) != 0 {
			fmt.Fprintf(os.Stderr, "assertion 2 failed: Subset should return true for nil subset\n")
			os.Exit(1)
		}

		tEmpty := &contractTestingT{}
		if !assert.Subset(tEmpty, list, []int{}) || tEmpty.failed || len(tEmpty.errors) != 0 {
			fmt.Fprintf(os.Stderr, "assertion 2 failed: Subset should return true for empty slice subset\n")
			os.Exit(1)
		}
	}

	// Assertion 3: assert.Subset returns false and records an error when subset contains an element not present in list
	{
		t := &contractTestingT{}
		list := []int{1, 2, 3}
		subset := []int{2, 4}
		if assert.Subset(t, list, subset) || !t.failed || len(t.errors) == 0 {
			fmt.Fprintf(os.Stderr, "assertion 3 failed: Subset should return false and record error when element is missing\n")
			os.Exit(1)
		}
	}

	// Assertion 4: assert.Subset returns false and records an error when list is not an array or slice
	{
		t := &contractTestingT{}
		nonList := "string-not-slice"
		subset := []string{"s"}
		if assert.Subset(t, nonList, subset) || !t.failed || len(t.errors) == 0 {
			fmt.Fprintf(os.Stderr, "assertion 4 failed: Subset should return false and record error when list is not slice/array\n")
			os.Exit(1)
		}
	}

	// Assertion 5: assert.Subset returns false and records an error when subset is not an array, slice, or nil
	{
		t := &contractTestingT{}
		list := []int{1, 2, 3}
		nonSubset := 123
		if assert.Subset(t, list, nonSubset) || !t.failed || len(t.errors) == 0 {
			fmt.Fprintf(os.Stderr, "assertion 5 failed: Subset should return false and record error when subset is not slice/array/nil\n")
			os.Exit(1)
		}
	}

	fmt.Println("All contract assertions passed successfully.")
}