ityonemo/mavis

write a property test checking that supertypes are always greater than their subtype.

Ouverte

#18 ouverte le 25 sept. 2020

Voir sur GitHub
 (1 commentaire) (0 réaction) (0 personne assignée)Elixir (4 forks)auto 404
good first issuetesting

Métriques du dépôt

Stars
 (110 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

Description

Cette issue ne contient pas de description.

Guide contributeur

Direction de recherche
Comprenez la hiérarchie des types dans mavis, en particulier le concept de supertypes. Implémentez ensuite un test basé sur les propriétés qui génère des types aléatoires et vérifie que le supertype d'un type (le cas échéant) est toujours plus grand que le type lui même.
Stack technique
elixir
Domaine
backend
Type d'issue
Test
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.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Elixir
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75