ityonemo / ityonemo/mavis

property tests generators for the type system

Open
#37 0 comments 0 reactions 0 assignees View on GitHub
good first issue testing
Dominant language
Elixir
Stars
110
Forks
4
PR merge metrics
No merged PRs in 30d

Description

use: https://hexdocs.pm/stream_data/StreamData.html

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reading the linked StreamData documentation and inspecting the repository's type-system implementation and existing tests. Determine which type constructs need generators and what properties should be checked; the work is done when the relevant property tests cover the intended type-system behavior.

Written by the indexing model from the issue text.

Assessment

Tech stack
elixir
Domain
testing
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.