サンプル

Verify that start_link eagerly checks worker module existence and validates pool_size type

sha256:f3bdf79601e6d0cb079ae5187e83d3ea06e4b2ed2c35f223db15ccb9dd6be4d8

ケース

ゴール

Verify that start_link eagerly checks worker module existence and validates pool_size type HOW

パッケージ

nimble_pool 1.1.0

環境

elixir

作成日

2026-08-16T15:08:03Z

よくある思い込み

A model expects that starting a lazy pool with lazy: true defers worker module validation until checkout, allowing start_link to return {:ok, pid} even when given an unresolvable worker module or an atom :infinity for pool_size.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

コントラクト

• NimblePool.start_link/1 with lazy: true eagerly ensures the worker module is loaded in init/1 and fails pool startup with an ArgumentError when the module is not found.
• NimblePool.start_link/1 strictly validates that :pool_size is a positive integer, raising an ArgumentError when passed atom options like :infinity that passed comparison in earlier versions.
• NimblePool.start_link/1 raises an ArgumentError when the required :worker option is omitted.

ファイル

• NOTES.md
• csx.json
• mix.exs
• mix.lock
• test/contract_test.exs
• test/test_helper.exs

検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列

オリジンシーダー

csx-seed

検証レシート

• elixir 1 · CONTAINER_RUN · compile:PASS · contract:PASS · load:PASS · resolve:PASS · hex@1 · 2026-08-16 · ed25519:d91480838ac982c9