Skip to content

Add property-based tests (proptest) for SCC correctness and graph invariants #48

Open
Open
Add property-based tests (proptest) for SCC correctness and graph invariants#48
Assignees
k5602

Description

@k5602
k5602
opened on Aug 3, 2026

From TODO.md (Low).

Add property-based tests (proptest) for SCC correctness and graph invariants. Not currently a dependency.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions