2 files changed
+5
-5
lines changed+4-4
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
587 | 587 | | |
588 | 588 | | |
589 | 589 | | |
590 | | - | |
| 590 | + | |
591 | 591 | | |
592 | | - | |
| 592 | + | |
593 | 593 | | |
594 | 594 | | |
595 | 595 | | |
| |||
4567 | 4567 | | |
4568 | 4568 | | |
4569 | 4569 | | |
4570 | | - | |
| 4570 | + | |
4571 | 4571 | | |
4572 | | - | |
| 4572 | + | |
4573 | 4573 | | |
4574 | 4574 | | |
4575 | 4575 | | |
| |||
- Cargo.lock+6-6
- Cargo.toml+1-1
- README.md+2-2
- rust-version+1-1
- src/eval.rs+1-4
- src/helpers.rs+38-31
- src/lib.rs+1
- src/machine.rs+34-26
- src/shims/foreign_items.rs+28-47
- src/shims/intrinsics.rs+25-8
- src/shims/mod.rs+9-11
- src/shims/panic.rs+173
- src/stacked_borrows.rs+1-1
- test-cargo-miri/test.stdout.ref+3-2
- test-cargo-miri/test.stdout.ref2+1-1
- test-cargo-miri/test.stdout.ref3+1-1
- test-cargo-miri/tests/test.rs+11
- tests/compile-fail/double_panic.rs+11
- tests/compile-fail/panic1.rs+3-2
- tests/compile-fail/panic2.rs+3-1
- tests/compile-fail/panic3.rs+2
- tests/compile-fail/panic4.rs+2
- tests/run-pass/catch_panic.rs+62
- tests/run-pass/panic1.rs+4
- tests/run-pass/panic1.stderr+1
- tests/run-pass/panic2.rs+5
- tests/run-pass/panic2.stderr+1
0 commit comments