Skip to content

[Bennet] Support CN value generation #457

New issue
New issue
Open
Feature
Open
[Bennet] Support CN value generation#457
Feature
Assignees
ZippeyKeys12
Labels
BennetRelated to input generation via random backtracking search. Available via `cn test`CN spec testingRelated to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.
@ZippeyKeys12

Description

@ZippeyKeys12
ZippeyKeys12
opened on Nov 21, 2025

Create generators for CN values. Necessary for:

  1. Lemma testing
  2. Ghost argument support
  3. Other plans 😏

Metadata

Metadata

Assignees

Labels

BennetRelated to input generation via random backtracking search. Available via `cn test`CN spec testingRelated to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.

Type

Feature

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions