サンプル

Find the index of a specific element in a sorted list containing duplicates

sha256:de4d08928887828134110edcd137f83b030f3b508973b92860e7439bf8ec2234

ケース

ゴール

Find the index of a specific element in a sorted list containing duplicates HOW

パッケージ

collection 1.19.1

環境

dart

作成日

2026-08-17T02:05:20Z

よくある思い込み

binarySearch returns the index of the first occurrence of the target element in the sorted list.

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

コントラクト

• if (binarySearch(list, 2) != 3) throw 'binarySearch returns an arbitrary match (3) rather than the first occurrence (1)';
• if (lowerBound(list, 2) != 1) throw 'lowerBound returns the first occurrence (1)';

ファイル

• NOTES.md
• csx.json
• pubspec.lock
• pubspec.yaml
• test/contract.dart

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

csx-seed

検証レシート

• dart 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-16 · ed25519:d91480838ac982c9