ityonemo/mavis

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

Open

#18 opened on Sep 25, 2020

View on GitHub
 (1 comment) (0 reactions) (0 assignees)Elixir (4 forks)auto 404
good first issuetesting

Repository metrics

Stars
 (110 stars)
PR merge metrics
 (PR metrics pending)

Description

This issue does not include a description.

Contributor guide

Research direction
Learn about the type hierarchy in mavis, specifically the concept of supertypes. Then implement a property based test that generates random types and checks that a type's supertype (if any) is always greater than the type itself.
Tech stack
elixir
Domain
backend
Issue type
Test
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
Elixir
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
75