`[:> Double/MAX_VALUE]` generates `Double/MAX_VALUE`

Repository metrics

Stars

1,724 個のスター (1,724 個のスター)

PR merge metrics

30d に merged PR はありません (30d に merged PR はありません)

説明

(defn shrink [?schema]
  (-> (quick-check 1 (for-all [s (mg/generator ?schema)] false) {:seed 0})
      :shrunk
      :smallest
      first))

(= Double/MAX_VALUE
   (shrink [:> Double/MAX_VALUE])
   (shrink [:>= Double/MAX_VALUE]))
;=> true

(> Double/MAX_VALUE Double/MAX_VALUE)
;=> false
(>= Double/MAX_VALUE Double/MAX_VALUE)
;=> true

コントリビューターガイド

調査方針

収縮ロジックが数値範囲スキーマ、特にDouble/MAX VALUEのようなエッジケースをどのように処理するかを理解してください。このバグは、Double/MAX VALUEより厳密に大きい値を必要とするスキーマに対して、収縮関数がDouble/MAX VALUEを生成していることを示しており、これは不可能です。ダブル値のジェネレーターとシュリンカー実装を調査してください。

技術スタック

なし

領域

backend

Issue 種別

バグ

難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。

2

推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。

1-3時間

活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。

新着

明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。

明確

前提条件

ClojureGit

初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。

70