| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-09-22 | share the check_nondet helper as well | Ralf Jung | -0/+15 |
| 2025-09-22 | share check_all_outcomes impl, and increase max iteration counts | Ralf Jung | -0/+35 |
| 2024-04-17 | tests/utils: add fmt::Write implementations for miri's native stdout/stderr | Ralf Jung | -0/+2 |
| 2023-11-25 | make tests/utils work with edition 2015 | Ralf Jung | -2/+2 |
| 2023-11-21 | fmt | Ralf Jung | -3/+1 |
| 2023-11-20 | Test that the GC consults the extra_fn_ptr map | Ben Kimock | -0/+7 |
| 2023-10-22 | use visibility to check unused imports and delete some stmts | bohan | -0/+1 |
| 2023-07-30 | refactor tests/utils a bit, and move some FS functions there | Ralf Jung | -2/+10 |
| 2023-03-16 | TB: document TB changes in README | Neven Villani | -0/+2 |
