問題タブ [python-hypothesis]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
python - Hypothesis Python を使用した条件付きデータの生成
次の条件で、サイズ 2 の整数のリストのリストを生成したいと考えています。
- 最初の要素は 2 番目の要素より小さく、
- すべてのデータは一意である必要があります。
カスタム関数を使用して各タプルを生成できますが、それを使用して 2 番目の条件を満たす方法がわかりません。
generate_dateこの (非効率的な?) 方法で数回繰り返すことにより、データを生成できます。
しかし、データが一意であることを確認するにはどうすればよいでしょうか?
たとえば、次の値は無効です。
ただし、次は有効です。
python-hypothesis - 異なる戦略から一様に選択しない戦略を持っている
90% の確率で戦略 A を選択し、10% の確率で戦略 B を選択する戦略 C を作成したいと思います。
ランダム python ライブラリは、戦略が値を生成するたびにランダムから同じ値を生成するため、シードしても機能しません。
OneOfStrategy の実装を調べたところ、 i = cu.integer_range(data, 0, n - 1) を使用してランダムに数値を生成しています
cu は、内部インポートの仮説.internal.conjecture.utils からのものです。
私の戦略で cu.integer_range を使用しても問題ないでしょうか、それとも別の実装がありますか?