Skip to content

[Testing] Gradual Rustification of runtime libraries #462

Open
Task
Open
[Testing] Gradual Rustification of runtime libraries#462
Task
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.DarcyRelated to input generation via constraint solving. Available via `cn test --symbolic`

Description

@ZippeyKeys12
ZippeyKeys12
opened on Nov 21, 2025

As changes are needed to runtime libraries, if they are substantial enough, I will implement them in Rust.

The compilation speed of our generators is essential for allowing iteration on specifications, so generators will remain in C.
All Rust code will be exposed via the C ABI for linking.

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.DarcyRelated to input generation via constraint solving. Available via `cn test --symbolic`

Type

Task

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions