Open
Description
ScalaCheck seems to be an excellent fit for formalism-based projects such as these. Add and/or replace current tests with ScalaCheck-based ones.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No one assigned
No labels
No projects
None yet
No branches or pull requests