Skip to content

Quickcheck: folding properties #15

Open
Open
Quickcheck: folding properties#15
Labels
bench/test

Description

@nicarq
nicarq
opened on Aug 17, 2025

Use quickcheck to ensure folding preserves satisfiability (using random CCS)

Metadata

Metadata

Assignees

No one assigned

    Labels

    bench/test

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions