Refs #39
File: Cargo.toml (root workspace manifest)
Problem
Root Cargo.toml workspace members:
members = [
"crates/charon-core",
"crates/charon-protocols",
"crates/charon-scanner",
"crates/charon-cli",
]
If crates/charon-flashloan is absent from this list, cargo test --workspace, cargo clippy --workspace --all-targets --all-features, and cargo fmt --all all silently exclude the crate. Every lint error, test failure, and format violation in charon-flashloan passes the CLAUDE.md pre-commit gate undetected.
Impact: All lints and tests in the flashloan crate are invisible to CI and pre-commit hooks. Bugs accumulate undetected until the crate is explicitly tested in isolation.
Fix
Add "crates/charon-flashloan" to the members array. Add charon-flashloan to [workspace.dependencies] so downstream crates reference it without path duplication:
charon-flashloan = { path = "crates/charon-flashloan" }
Refs #39
File: Cargo.toml (root workspace manifest)
Problem
Root Cargo.toml workspace members:
If crates/charon-flashloan is absent from this list, cargo test --workspace, cargo clippy --workspace --all-targets --all-features, and cargo fmt --all all silently exclude the crate. Every lint error, test failure, and format violation in charon-flashloan passes the CLAUDE.md pre-commit gate undetected.
Impact: All lints and tests in the flashloan crate are invisible to CI and pre-commit hooks. Bugs accumulate undetected until the crate is explicitly tested in isolation.
Fix
Add "crates/charon-flashloan" to the members array. Add charon-flashloan to [workspace.dependencies] so downstream crates reference it without path duplication: