Skip to content

Comments

[Darcy] Add solver option#468

Merged
ZippeyKeys12 merged 1 commit intorems-project:mainfrom
ZippeyKeys12:solver-option
Nov 26, 2025
Merged

[Darcy] Add solver option#468
ZippeyKeys12 merged 1 commit intorems-project:mainfrom
ZippeyKeys12:solver-option

Conversation

@ZippeyKeys12
Copy link
Collaborator

No description provided.

@ZippeyKeys12 ZippeyKeys12 self-assigned this Nov 26, 2025
@ZippeyKeys12 ZippeyKeys12 added CN spec testing Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing. Darcy Related to input generation via constraint solving. Available via `cn test --symbolic` labels Nov 26, 2025
@ZippeyKeys12 ZippeyKeys12 merged commit c4e0045 into rems-project:main Nov 26, 2025
12 checks passed
@ZippeyKeys12 ZippeyKeys12 deleted the solver-option branch November 26, 2025 08:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CN spec testing Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing. Darcy Related to input generation via constraint solving. Available via `cn test --symbolic`

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant