Closed
Description
In #128, I added basic miri support. Due to the following issues, miri can't embrace all it's funcitionality:
- Each test that uses the
cast_tag
(transitively) fails, as miri can't guarantee that the memory is valid, unfortunately - when something like
struct_as_bytes() ... cast
is done, there are alignment issues as the returned Vec is of course only aligned to a one byte boundary... so far, in tests this never was a problem, luckily. At least on x86.
Metadata
Metadata
Assignees
Labels
No labels