crytic/slither

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

Open

#578 ouverte le 18 août 2020

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Python (886 forks)batch import
good first issuehelp wanted

Métriques du dépôt

Stars
 (4 769 stars)
Métriques de merge PR
 (Merge moyen 54j 9h) (2 PRs mergées en 30 j)

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)

Guide contributeur

Direction de recherche
Examinez les références actuelles à Echidna dans le dépôt et le wiki, puis mettez les à jour pour inclure Manticore. Concentrez vous sur echidna config.yaml et la page wiki de Property Generation.
Stack technique
Aucun
Domaine
documentation
Type d'issue
Documentation
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Git
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
85