Skip to content

Add property-based tests #6

New issue
New issue
Open
Open
Add property-based tests#6
Labels
enhancementNew feature for the command-line toolgood first issueGood for newcomers
@justinlubin

Description

@justinlubin
justinlubin
opened on Jun 28, 2020

Add property-based tests to the Smyth codebase.

It would be especially amazing if the theorems from the ICFP 2020 paper could be used as a suite of property-based tests.

Simpler properties as a confidence check would be welcome, too.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature for the command-line toolgood first issueGood for newcomers

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions