| Age | Commit message (Collapse) | Author | Lines |
|
|
|
|
|
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
|
|
|
|
bump ui test crate
The recommended way to run tests locally is `./miri bless -- -- --quiet`, which will show
* progress bars
* the currently running tests (allowing you to see which ones are still running towards the end of the test suite)
* the output of the currently running tests (if they are slow). This means slow running tests can output lines to `stderr` and the last line will be shown after the test name and updated every few hundred milliseconds.
As a side effect this PR also fixes #2998 and only builds dependencies if any tests actually need them (this means that with the next ui_test update we'll be able to merge all our test suites).
Also fixes https://github.com/rust-lang/miri/issues/3052.
|
|
tests don't build dependencies
|
|
|
|
When reporting a heap use-after-free, say where the allocation was allocated and deallocated
This is a partial solution to: https://github.com/rust-lang/miri/issues/2917
Currently in the interpreter, we only have accurate information for where heap allocations are allocated and deallocated (see https://github.com/rust-lang/miri/pull/2940#discussion_r1243559711). So this just implements support for allocations where the information is already available, and the full support will require more interpreter tweaks.
|
|
|
|
|
|
also simplify the in-bounds checking in Miri's borrow trackers
|
|
|
|
Also add tests for some other shims that already behave correctly
|
|
|
|
Also stops using github actions groups that conflict with our groups as github does not nest them
|
|
|
|
|
|
Signed-off-by: Alex Saveau <saveau.alexandre@gmail.com>
|
|
git-subtree-dir: src/tools/miri
git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131
git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573
|