Skip to main content

xlsynth_driver/
lib.rs

1// SPDX-License-Identifier: Apache-2.0
2
3// Expose the modules needed by the fuzzer and external users.
4// Keep this facade minimal to avoid pulling in the whole CLI surface.
5pub mod proofs;
6pub mod prover;
7pub mod prover_config;
8pub mod report_cli_error;
9pub mod toolchain_config;