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

Metriche repository

Star

1724 stelle (1724 stelle)

Metriche merge PR

Nessuna PR mergiata in 30 g (Nessuna PR mergiata in 30 g)

Descrizione

(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

Guida contributor

Direzione di ricerca

Comprendere come la logica di restringimento gestisce gli schemi di intervallo numerico, specialmente per casi limite come Double/MAX VALUE. Il bug indica che la funzione di restringimento produce Double/MAX VALUE per uno schema che richiede valori strettamente maggiori di Double/MAX VALUE, il che è impossibile. Investigare l'implementazione del generatore e del restringimento per i numeri double.

Tech stack

Nessuno

Dominio

backend

Tipo issue

Bug

DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.

2

Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.

1-3 ore

Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.

Nuova

ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.

Chiara

Prerequisiti

ClojureGit

Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.

70