Skip to content

Commit

Permalink
DEBUG commit for rust-lang/rust#60173
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Apr 26, 2019
1 parent b46e523 commit 691a4c2
Show file tree
Hide file tree
Showing 174 changed files with 6 additions and 5,519 deletions.
3 changes: 3 additions & 0 deletions tests/compiletest.rs
Original file line number Diff line number Diff line change
Expand Up @@ -113,6 +113,9 @@ fn compile_fail_miri(opt: bool) {
}

fn test_runner(_tests: &[&()]) {
std::env::set_var("MIRI_BACKTRACE", "1");
std::env::set_var("MIRI_LOG", "info");

run_pass_miri(false);
run_pass_miri(true);

Expand Down
5 changes: 0 additions & 5 deletions tests/run-pass/args.rs

This file was deleted.

1 change: 0 additions & 1 deletion tests/run-pass/args.stdout

This file was deleted.

45 changes: 0 additions & 45 deletions tests/run-pass/arrays.rs

This file was deleted.

11 changes: 0 additions & 11 deletions tests/run-pass/associated-const.rs

This file was deleted.

3 changes: 0 additions & 3 deletions tests/run-pass/assume_bug.rs

This file was deleted.

45 changes: 0 additions & 45 deletions tests/run-pass/async-fn.rs

This file was deleted.

19 changes: 0 additions & 19 deletions tests/run-pass/atomic-access-bool.rs

This file was deleted.

29 changes: 0 additions & 29 deletions tests/run-pass/atomic-compare_exchange.rs

This file was deleted.

4 changes: 0 additions & 4 deletions tests/run-pass/bad_substs.rs

This file was deleted.

81 changes: 0 additions & 81 deletions tests/run-pass/binops.rs

This file was deleted.

29 changes: 0 additions & 29 deletions tests/run-pass/bools.rs

This file was deleted.

28 changes: 0 additions & 28 deletions tests/run-pass/box-pair-to-vec.rs

This file was deleted.

3 changes: 0 additions & 3 deletions tests/run-pass/box-pair-to-vec.stdout

This file was deleted.

31 changes: 0 additions & 31 deletions tests/run-pass/box_box_trait.rs

This file was deleted.

29 changes: 0 additions & 29 deletions tests/run-pass/btreemap.rs

This file was deleted.

Loading

0 comments on commit 691a4c2

Please sign in to comment.