barrucadu/dejafu

Add tests for non-strict refinement

Open

#211 opened on Feb 16, 2018

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (18 forks)github user discovery
T: enhancementgood first issue

Repository metrics

Stars
 (201 stars)
PR merge metrics
 (Avg merge 21m) (1 merged PR in 30d)

Description

Currently all the refinement tests use === or ->-.

Fortunately, adding tests for =>= is quite straightforward: if a === b or a ->- b then a =>= b!

Contributor guide

Research direction
Add test cases for the non strict refinement operator `=>=` by duplicating existing strict refinement tests and replacing the operator.
Tech stack
haskell
Domain
testing
Issue type
Test
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
1
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Under 1 hour
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
HaskellGit
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
90