diff --git a/README.md b/README.md index fb5a82c..460d05c 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,8 @@ of the [Halo2](https://github.com/zcash/halo2) proving system. To run the tests, run the command `cargo test --release`. The command `cargo test` works too, but in that case you may want to give your computer a couple of minutes to compute the test results. -The flag `-- --nocapture` can be used to print the execution times for proof generation and verification. + +The option `-- --nocapture --test-threads=1` can be used to print the execution times for proof generation and verification. The threads number must be set as 1, as the default parallel execution may interfere with the timing. The single circuits can be tested by matching the test name with `sudoku`, `permutation` or `factorial`. The tests that match the `mock` pattern are written using the `MockProver` struct, while the others use the custom real-world provers.