Closed ghost closed 6 years ago
When I try to use cargo seer on examples/base64, it fails with message
cargo seer
examples/base64
error: unknown debugging option: `no-trans`
MIRI has recently replaced its use of the -Zno-trans arg with --emit=dep-info,metadata in https://github.com/solson/miri/commit/675587280f5cee0ea99ebb4c4f70043e89aa1aed. This PR does the same for Seer, making the example work again.
-Zno-trans
--emit=dep-info,metadata
Thanks!
dwrensha
commented
6 years ago dwrensha
commented
6 years ago
When I try to use
cargo seeronexamples/base64, it fails with messageMIRI has recently replaced its use of the
-Zno-transarg with--emit=dep-info,metadatain https://github.com/solson/miri/commit/675587280f5cee0ea99ebb4c4f70043e89aa1aed. This PR does the same for Seer, making the example work again.