Module testing 

Test helpers for ACE codegen, available under the testing feature or #[cfg(test)].

These provide reference evaluators for symbolic expressions, periodic columns, constraint folding, quotient recomposition, and DAG evaluation, suitable for validating the ACE pipeline from both within ace-codegen tests and from downstream integration tests (e.g. in miden-air).

Functions

eval_base_expr

Evaluate a base-field symbolic expression at concrete inputs.

eval_dag

Evaluate a lowered DAG against concrete inputs.

eval_ext_expr

Evaluate an extension-field symbolic expression at concrete inputs.

eval_folded_constraints

Evaluate the folded constraint accumulator from symbolic constraints.

eval_periodic_values

Evaluate periodic columns at a point by computing the polynomial in coefficient form via inverse DFT, then evaluating with Horner’s method.

eval_quotient

Evaluate the quotient recomposition at zeta using provided inputs.

fill_inputs

Deterministic input filler for layout-sized buffers.

zps_for_chunk

Compute the barycentric kernel value (zps) for a single quotient chunk.