Skip to content

Conversation

@MaximilianAlgehed
Copy link
Collaborator

closes #3

@MaximilianAlgehed MaximilianAlgehed marked this pull request as ready for review October 17, 2025 09:32
@MaximilianAlgehed MaximilianAlgehed changed the title initial stab at property tests for Constrained.Graph Property-based tests for Constrained.Graph Oct 21, 2025
Copy link
Contributor

@Soupstraw Soupstraw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

MaximilianAlgehed and others added 2 commits October 21, 2025 15:44
Co-authored-by: Joosep Jääger <joosep.jaager@gmail.com>
@MaximilianAlgehed MaximilianAlgehed merged commit 417ac9f into master Oct 22, 2025
9 checks passed
@MaximilianAlgehed MaximilianAlgehed deleted the graph-tests branch October 22, 2025 07:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

QuickCheck tests for Constrained.Graph

3 participants