-
Tom Almeida authored
This was causing issues for miri because array indexing only marks a single byte for RW access, but the call to `copy_to_nonoverlapping` could end up modifying up to 8 bytes. Closes: #12
This was causing issues for miri because array indexing only marks a single byte for RW access, but the call to `copy_to_nonoverlapping` could end up modifying up to 8 bytes. Closes: #12