crytic/slither

slither-prop: Update documentation and reference to include manticore-verifier

Open

#578 aberto em 18 de ago. de 2020

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Python (886 forks)batch import
good first issuehelp wanted

Métricas do repositório

Stars
 (4.769 stars)
Métricas de merge de PR
 (Mesclagem média 54d 9h) (2 fundiu PRs em 30d)

Description

manticore-verifier should work out of the box with slither-prop.

We need to update all the reference to Echidna to include Manticore, (including echidna_config.yaml and the wiki)

Guia do colaborador

Direção de pesquisa
Examine as referências atuais ao Echidna no repositório e no wiki, depois atualize as para incluir o Manticore. Foco no echidna config.yaml e na página wiki de Property Generation.
Pilha de tecnologia
None
Domain
documentation
Tipo Issue
Documentação
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
Git
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
85