Search results

[Seq-Test] Spurious sequence testing failure

CIRelated to CI infrastructureRelated to CI infrastructure

CN sequence testing

CN spec testingRelated to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.

Status: Open.

#506 In rems-project/cn;

· dimecon opened on Mar 17, 2026

[CN-exec] Incorrect instrumentation for nested function calls

Status: Open.

#502 In rems-project/cn;

· moratorium08 opened on Mar 12, 2026

README for Bennet

Status: Open.

#501 In rems-project/cn;

· prasitaGit opened on Mar 11, 2026

[Fulminate] Stop filtering out legitimate assert(true)s

Status: Open.

#500 In rems-project/cn;

· rbanerjee20 opened on Mar 6, 2026

[CI] Figure how to deal with laziness overhead

BennetRelated to input generation via random backtracking search. Available via `cn test`Related to input generation via random backtracking search. Available via `cn test`

CIRelated to CI infrastructureRelated to CI infrastructure

Status: Open.

Task

#498 In rems-project/cn;

· ZippeyKeys12 opened on Feb 16, 2026

cn test fails with a mysterious error

Status: Open.

#492 In rems-project/cn;

· podhrmic opened on Jan 29, 2026

[Seq-Test] Make Fulminate usage consistent with new API

CN sequence testing

Status: Open.

#470 In rems-project/cn;

· ZippeyKeys12 opened on Dec 3, 2025

[Testing] Gradual Rustification of runtime libraries

BennetRelated to input generation via random backtracking search. Available via `cn test`Related 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.Related 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`Related to input generation via constraint solving. Available via `cn test --symbolic`

Status: Open.

Task

#462 In rems-project/cn;

· ZippeyKeys12 opened on Nov 21, 2025

[Fulminate] Clarify Fulminate API

Status: Open.

#461 In rems-project/cn;

· ZippeyKeys12 opened on Nov 21, 2025

[Testing] Separate test runner

CN spec testingRelated to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.

Status: Open.

Task

#459 In rems-project/cn;

· ZippeyKeys12 opened on Nov 21, 2025

[Bennet] Support CN value generation

BennetRelated to input generation via random backtracking search. Available via `cn test`Related 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.Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.

Status: Open.

Feature

#457 In rems-project/cn;

· ZippeyKeys12 opened on Nov 21, 2025

[Fulminate] Generate functions for spec-checking

FulminateRelated to CN executable spec generation, called using `cn instrument`Related to CN executable spec generation, called using `cn instrument`

Status: Open.

Task

#454 In rems-project/cn;

· rbanerjee20 opened on Nov 19, 2025