zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix clippy lint in metrics model doctest

This commit is contained in:
Jack Grigg 2020-11-24 17:56:33 +00:00
parent 3eb6712c6c
commit 9a4f27056c
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/model.rs
View File

@ -14,14 +14,15 @@ use metrics::{Key, Recorder, Unit};
/// ```
/// use halo2::model::ModelRecorder;
///
/// fn main() {
/// let recorder = Box::leak(Box::new(ModelRecorder::default()));
/// metrics::set_recorder(recorder).unwrap();
/// let recorder = Box::leak(Box::new(ModelRecorder::default()));
/// metrics::set_recorder(recorder).unwrap();
///
/// // Create circuit, build and/or verify proof.
/// // Create circuit, build and/or verify proof.
///
/// println!("{}", recorder);
/// }
/// println!("{}", recorder);
/// recorder.clear();
///
/// // Perform another operation to collect separate metrics.
/// ```
#[derive(Debug)]
pub struct ModelRecorder {