Double generator fails if `{:max (- Double/MAX_VALUE)}`

Métricas do repositório

Stars

1.724 estrelas (1.724 estrelas)

Métricas de merge de PR

Nenhuma PRs mesclada em 30d (Nenhuma PRs mesclada em 30d)

Description

;; 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)}])

Guia do colaborador

Direção de pesquisa

Examine a implementação do gerador para schemas double e de comparação, especialmente como valores extremos como Double/MAX VALUE são tratados. Rastreie a geração do predicado para entender a falha.

Pilha de tecnologia

clojure

Domain

backend

Tipo Issue

Bug

DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.

2

Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.

1-3 horas

Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.

Recente

ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.

Claro

Prerequisites

ClojureLeiningen

Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.

65