File tree Expand file tree Collapse file tree 2 files changed +10
-4
lines changed Expand file tree Collapse file tree 2 files changed +10
-4
lines changed Original file line number Diff line number Diff line change @@ -401,7 +401,8 @@ fn main() {
401
401
. strip_prefix ( "-Zmiri-track-pointer-tag=" )
402
402
. unwrap ( )
403
403
. split ( ',' )
404
- . map ( str:: parse :: < u64 > ) . collect ( )
404
+ . map ( str:: parse :: < u64 > )
405
+ . collect ( )
405
406
{
406
407
Ok ( ids) => ids,
407
408
Err ( err) =>
@@ -428,7 +429,10 @@ fn main() {
428
429
{
429
430
Ok ( ids) => ids,
430
431
Err ( err) =>
431
- panic ! ( "-Zmiri-track-call-id requires a comma separated list of valid `u64` arguments: {}" , err) ,
432
+ panic ! (
433
+ "-Zmiri-track-call-id requires a comma separated list of valid `u64` arguments: {}" ,
434
+ err
435
+ ) ,
432
436
} ;
433
437
for id in ids. into_iter ( ) . map ( miri:: CallId :: new) {
434
438
if let Some ( id) = id {
@@ -449,7 +453,9 @@ fn main() {
449
453
{
450
454
Some ( ids) => ids,
451
455
None =>
452
- panic ! ( "-Zmiri-track-alloc-id requires a comma separated list of valid non-zero `u64` arguments" ) ,
456
+ panic ! (
457
+ "-Zmiri-track-alloc-id requires a comma separated list of valid non-zero `u64` arguments"
458
+ ) ,
453
459
} ;
454
460
miri_config. tracked_alloc_ids . extend ( ids) ;
455
461
}
Original file line number Diff line number Diff line change 3
3
4
4
use std:: borrow:: Cow ;
5
5
use std:: cell:: RefCell ;
6
+ use std:: collections:: HashSet ;
6
7
use std:: fmt;
7
8
use std:: num:: NonZeroU64 ;
8
9
use std:: time:: Instant ;
9
- use std:: collections:: HashSet ;
10
10
11
11
use rand:: rngs:: StdRng ;
12
12
use rand:: SeedableRng ;
You can’t perform that action at this time.
0 commit comments