1- # Fuzz using rustup distributed miri
2- miri_toolchain = " nightly"
1+ bb_max_len = 32
2+ max_switch_targets = 8
3+ max_bb_count = 50
4+ max_bb_count_hard = 100
5+ max_fn_count = 20
6+ max_args_count = 12
7+ var_dump_chance = 0.5
8+ tuple_max_len = 4
9+ array_max_len = 8
10+ struct_max_fields = 8
11+ adt_max_variants = 4
12+ composite_count = 64
13+ adt_count = 8
314
4- # Fuzz using rustup distributed cranelift
5- cranelift_toolchain = " nightly"
15+ [backends .miri ]
16+ type = " miri"
17+ toolchain = " nightly"
18+ flags = [" -Zmiri-tree-borrows" ]
619
7- # Override toolchain for default rustc backend
8- llvm_toolchain = " nightly"
20+ [backends .miri-opt ]
21+ type = " miri"
22+ toolchain = " nightly"
23+ flags = [" -Zmiri-tree-borrows" , " -Zmir-opt-level=4" ]
24+
25+ [backends .miri-unchecked ]
26+ type = " miri"
27+ toolchain = " nightly"
28+ flags = [" -Zmiri-disable-stacked-borrows" , " -Zmiri-disable-validation" , " -Zmiri-disable-alignment-check" ]
29+
30+ [backends .miri-repo ]
31+ type = " miri-repo"
32+ path = " /home/ben/miri"
33+ flags = [" -Zmiri-tree-borrows" ]
34+
35+ [backends .llvm ]
36+ type = " llvm"
37+ toolchain = " nightly"
38+ flags = [" -Zmir-opt-level=0" ]
39+
40+ [backends .llvm-opt ]
41+ type = " llvm"
42+ toolchain = " nightly"
43+ flags = [" -Zmir-opt-level=0" , " -Copt-level=3" , " -Ctarget-cpu=native" ]
44+
45+ [backends .cranelift ]
46+ type = " cranelift"
47+ toolchain = " nightly"
48+ flags = [" -Zmir-opt-level=0" , " -Copt-level=3" ]
49+
50+ [backends .cranelift-repo ]
51+ type = " cranelift-repo"
52+ path = " /home/ben/rustc_codegen_cranelift"
53+ flags = [" -Zmir-opt-level=0" , " -Copt-level=3" ]
54+
55+ [backends .cranelift-binary ]
56+ type = " cranelift-binary"
57+ path = " /usr/local/bin/clif"
58+ flags = [" -Zmir-opt-level=0" , " -Copt-level=3" ]
59+
60+ [backends .gcc ]
61+ type = " gcc"
62+ path = " /home/ben/rustc_codegen_gcc"
63+ flags = [" -Zmir-opt-level=0" , " -Copt-level=3" ]
0 commit comments