quantstamp / halo2-analyzer

SMT 2023 Submission; license pending
52 stars 10 forks source link

ZKR-5610-Remove-Test-Thread-Limit #59

Closed FatemehHeidari closed 1 month ago

FatemehHeidari commented 1 month ago

This PR removes the [env] RUST_TEST_THREADS = "1" setting from the config.toml file, which was previously limiting the tests to a single thread. By removing this setting, we allow the system to utilize multiple CPU core.

Additionally, the README has been updated to reflect that test commands should now explicitly limit thread usage where necessary. This is especially important when multiple tests are running concurrently to prevent conflicts when reading from or writing to the same file.