`[:> Double/MAX_VALUE]` generates `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

(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

Guia do colaborador

Direção de pesquisa

Entenda como a lógica de encolhimento lida com esquemas de intervalo numérico, especialmente para casos extremos como Double/MAX VALUE. O bug indica que a função de encolhimento produz Double/MAX VALUE para um esquema que requer valores estritamente maiores que Double/MAX VALUE, o que é impossível. Investigue a implementação do gerador e do encolhedor para números double.

Pilha de tecnologia

None

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

ClojureGit

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

70