Double generator fails if `{:max (- 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

;; underlying generators don't seem to handle these well
(m/validate [:<= (- Double/MAX_VALUE)] (- Double/MAX_VALUE))
;=> true
(mg/generate [:<= (- Double/MAX_VALUE)])
;Couldn't satisfy such-that predicate after 10 tries.

;; similar issue
(m/validate [:double {:max (- Double/MAX_VALUE)}] (- Double/MAX_VALUE))
;=> true
(mg/generate [:double {:max (- Double/MAX_VALUE)}])

Guida contributor

Direzione di ricerca

Esamina l'implementazione del generatore per i tipi double e i confronti, in particolare come vengono gestiti i valori estremi come Double/MAX VALUE. Traccia la generazione del predicato per comprendere il fallimento.

Tech stack

clojure

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

ClojureLeiningen

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

65