Comments (4)
RalfJung
commented on August 20, 2024
Ugh yeah that is ugly.
Out of curiosity, does cargo +nightly miri test --message-format=short work?
from miri.
kadiwa4
commented on August 20, 2024
No, same result.
from miri.
RalfJung
commented on August 20, 2024
That is strange, but maybe cargo parses and re-serializes the argument.
The issue is that here we only support arguments with the value passed via =, not via separate arguments for flag and value. This should be fairly easy to fix: if the suffix is empty, also drop the next argument.
from miri.
RalfJung
commented on August 20, 2024
Though thinking about it, that might just show up as the next bug where we don't respect --mesage-format for doctests. Looks like we should maybe just not mess with --message-format and --json when phase is Rustdoc? Not sure if the --extern patching is still needed, but it probably is.
from miri.
Related Issues (20)
- NaN non-determinism for platform intrinsics
- Test that we can build a sysroot for at least all tier 2 targets? HOT 9
- macOS CI often fails with SIGABRT HOT 1
- Detecting races when releasing Tree Borrows protectors? HOT 3
- How to support or disable SIMD instructions? HOT 7
- Running any program on freebsd needs __cxa_thread_atexit_impl HOT 1
- When reads/writes from the borrow model cause data races, the errors are confusing HOT 3
- ICE due to missing struct tail normalization HOT 2
- ICE: InterErrorInfo / Unsupported with `-Zmiri-symbolic-alignment-check`
- Stop recommending cargo clean? HOT 1
- "./miri test" is very slow on repeated executions HOT 7
- CI: Linux test often takes >1h HOT 3
- convert intrinsic shims to intrinsics with fallback bodies HOT 1
- Add direct tests for the Windows RNG functions HOT 2
- Miri does not work with a sysroot built without cfg(miri) HOT 12
- Broken sysroot when custom "release" profile sets `panic="abort"` HOT 7
- miri fmt failing on Windows HOT 7
- Ship Miri on stable toolchains HOT 2
- Execution Traces HOT 3
- miri clippy failing on Windows HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from miri.