Commit def9959
authored
Rollup merge of rust-lang#102950 - oli-obk:check_miri, r=RalfJung
Enable `x.py check` for miri
Now that the miri subtree is working properly, let's add it to x.py check.
cc `@rust-lang/miri`4 files changed
+22
-53
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
451 | 451 | | |
452 | 452 | | |
453 | 453 | | |
454 | | - | |
| 454 | + | |
455 | 455 | | |
456 | 456 | | |
457 | 457 | | |
458 | 458 | | |
459 | | - | |
460 | | - | |
461 | | - | |
| 459 | + | |
462 | 460 | | |
463 | 461 | | |
464 | 462 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
735 | 735 | | |
736 | 736 | | |
737 | 737 | | |
738 | | - | |
| 738 | + | |
739 | 739 | | |
740 | 740 | | |
741 | 741 | | |
| |||
791 | 791 | | |
792 | 792 | | |
793 | 793 | | |
794 | | - | |
795 | | - | |
796 | | - | |
797 | | - | |
798 | | - | |
799 | | - | |
800 | 794 | | |
801 | 795 | | |
802 | 796 | | |
| |||
805 | 799 | | |
806 | 800 | | |
807 | 801 | | |
808 | | - | |
| 802 | + | |
809 | 803 | | |
810 | 804 | | |
811 | 805 | | |
| |||
821 | 815 | | |
822 | 816 | | |
823 | 817 | | |
824 | | - | |
825 | | - | |
826 | | - | |
827 | | - | |
828 | | - | |
829 | | - | |
830 | | - | |
831 | | - | |
832 | | - | |
833 | | - | |
834 | | - | |
| 818 | + | |
835 | 819 | | |
836 | 820 | | |
837 | 821 | | |
838 | 822 | | |
839 | 823 | | |
840 | | - | |
841 | | - | |
842 | | - | |
843 | | - | |
844 | | - | |
845 | | - | |
846 | | - | |
| 824 | + | |
847 | 825 | | |
848 | 826 | | |
849 | 827 | | |
850 | 828 | | |
851 | 829 | | |
852 | | - | |
853 | 830 | | |
854 | | - | |
855 | | - | |
| 831 | + | |
| 832 | + | |
856 | 833 | | |
857 | 834 | | |
858 | 835 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
503 | 503 | | |
504 | 504 | | |
505 | 505 | | |
506 | | - | |
| 506 | + | |
507 | 507 | | |
508 | 508 | | |
509 | 509 | | |
| |||
550 | 550 | | |
551 | 551 | | |
552 | 552 | | |
553 | | - | |
| 553 | + | |
554 | 554 | | |
555 | 555 | | |
556 | 556 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
794 | 794 | | |
795 | 795 | | |
796 | 796 | | |
797 | | - | |
798 | | - | |
799 | | - | |
800 | | - | |
| 797 | + | |
| 798 | + | |
| 799 | + | |
801 | 800 | | |
802 | 801 | | |
803 | 802 | | |
| |||
839 | 838 | | |
840 | 839 | | |
841 | 840 | | |
842 | | - | |
843 | 841 | | |
844 | 842 | | |
845 | 843 | | |
| |||
848 | 846 | | |
849 | 847 | | |
850 | 848 | | |
851 | | - | |
852 | | - | |
853 | | - | |
854 | | - | |
855 | | - | |
| 849 | + | |
856 | 850 | | |
857 | 851 | | |
858 | 852 | | |
| |||
865 | 859 | | |
866 | 860 | | |
867 | 861 | | |
868 | | - | |
869 | | - | |
870 | | - | |
871 | | - | |
872 | | - | |
| 862 | + | |
| 863 | + | |
| 864 | + | |
| 865 | + | |
| 866 | + | |
873 | 867 | | |
874 | 868 | | |
875 | 869 | | |
876 | | - | |
877 | | - | |
878 | | - | |
| 870 | + | |
| 871 | + | |
| 872 | + | |
879 | 873 | | |
880 | 874 | | |
881 | 875 | | |
| |||
0 commit comments