| 157 | } |
| 158 | |
| 159 | pub struct DebugSettings { |
| 160 | /// Enable debugging for CmpLog stage |
| 161 | pub cmplog: bool, |
| 162 | /// Enable debugging for the Havoc stage |
| 163 | pub havoc: bool, |
| 164 | /// Whether we should save debug info for length extensions. |
| 165 | pub save_length_extension_metadata: bool, |
| 166 | /// Save block coverage for each input (useful for monitoring) (currently unsupported). |
| 167 | #[allow(unused)] |
| 168 | pub save_input_coverage: bool, |
| 169 | } |
| 170 | |
| 171 | impl DebugSettings { |
| 172 | pub fn from_env() -> anyhow::Result<Self> { |
nothing calls this directly
no outgoing calls
no test coverage detected