]> git.lizzy.rs Git - rust.git/commit
add flag to specify the number of cpus
authorChristian Poveda <git@pvdrz.com>
Fri, 16 Sep 2022 20:41:25 +0000 (15:41 -0500)
committerChristian Poveda <git@pvdrz.com>
Fri, 23 Sep 2022 21:28:59 +0000 (16:28 -0500)
commit14fc9b29a3a685c9eab6f700c10419be7a7ab1a7
tree64cd2fe120419be839165fcb4046fd5d1acf8bdb
parent6671f830b091de4d31516a966f72e915445ccbb1
add flag to specify the number of cpus
src/tools/miri/src/bin/miri.rs
src/tools/miri/src/eval.rs
src/tools/miri/src/lib.rs
src/tools/miri/src/machine.rs
src/tools/miri/src/shims/unix/foreign_items.rs
src/tools/miri/src/shims/windows/foreign_items.rs
src/tools/miri/tests/pass/available-parallelism-miri-num-cpus.rs [new file with mode: 0644]