File tree
8 files changed
+140
-11
lines changed- src/tools/miri
- src/bin
- tests
- fail
- pass
8 files changed
+140
-11
lines changedDiff for: src/tools/miri/README.md
+13
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
474 | 474 |
| |
475 | 475 |
| |
476 | 476 |
| |
| 477 | + | |
| 478 | + | |
| 479 | + | |
| 480 | + | |
| 481 | + | |
| 482 | + | |
| 483 | + | |
| 484 | + | |
| 485 | + | |
| 486 | + | |
| 487 | + | |
| 488 | + | |
| 489 | + | |
477 | 490 |
| |
478 | 491 |
| |
479 | 492 |
| |
|
Diff for: src/tools/miri/src/bin/miri.rs
+62-9
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
| 17 | + | |
17 | 18 |
| |
18 | 19 |
| |
19 | 20 |
| |
20 | 21 |
| |
21 | 22 |
| |
| 23 | + | |
| 24 | + | |
22 | 25 |
| |
23 | 26 |
| |
24 | 27 |
| |
| |||
27 | 30 |
| |
28 | 31 |
| |
29 | 32 |
| |
| 33 | + | |
30 | 34 |
| |
31 | 35 |
| |
| 36 | + | |
32 | 37 |
| |
| 38 | + | |
33 | 39 |
| |
34 | 40 |
| |
35 | 41 |
| |
36 | 42 |
| |
37 | 43 |
| |
38 | 44 |
| |
39 | 45 |
| |
40 |
| - | |
| 46 | + | |
| 47 | + | |
41 | 48 |
| |
42 | 49 |
| |
43 |
| - | |
| 50 | + | |
44 | 51 |
| |
45 | 52 |
| |
46 |
| - | |
47 |
| - | |
| 53 | + | |
| 54 | + | |
48 | 55 |
| |
49 | 56 |
| |
50 | 57 |
| |
| |||
82 | 89 |
| |
83 | 90 |
| |
84 | 91 |
| |
85 |
| - | |
86 |
| - | |
87 |
| - | |
88 |
| - | |
89 |
| - | |
| 92 | + | |
90 | 93 |
| |
91 | 94 |
| |
92 | 95 |
| |
| |||
351 | 354 |
| |
352 | 355 |
| |
353 | 356 |
| |
| 357 | + | |
| 358 | + | |
| 359 | + | |
| 360 | + | |
| 361 | + | |
| 362 | + | |
| 363 | + | |
| 364 | + | |
| 365 | + | |
| 366 | + | |
| 367 | + | |
| 368 | + | |
| 369 | + | |
| 370 | + | |
| 371 | + | |
| 372 | + | |
| 373 | + | |
| 374 | + | |
| 375 | + | |
| 376 | + | |
| 377 | + | |
| 378 | + | |
| 379 | + | |
| 380 | + | |
| 381 | + | |
| 382 | + | |
| 383 | + | |
| 384 | + | |
| 385 | + | |
| 386 | + | |
| 387 | + | |
| 388 | + | |
| 389 | + | |
| 390 | + | |
| 391 | + | |
| 392 | + | |
| 393 | + | |
| 394 | + | |
| 395 | + | |
| 396 | + | |
| 397 | + | |
| 398 | + | |
| 399 | + | |
| 400 | + | |
| 401 | + | |
| 402 | + | |
| 403 | + | |
| 404 | + | |
| 405 | + | |
| 406 | + | |
354 | 407 |
| |
355 | 408 |
| |
356 | 409 |
| |
|
+21
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + |
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + |
Diff for: src/tools/miri/tests/fail/no_main.rs
+1-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
2 | 2 |
|
+8-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
2 | 9 |
| |
3 | 10 |
| |
4 | 11 |
|
Diff for: src/tools/miri/tests/pass/miri_start.rs
+19
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + |
+1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + |
0 commit comments