Closed
Description
The tests for read_dir were temporarily disabled since the implementation was switched to readdir64
, which Miri does not implement. Implementing it will be a bit of work due to having to manage the memory where the dirent is stored.
Also, we currently do not have a test that runs remove_dir_all
on an existing directory; we should add such a test -- this used to work but now also requires openat
.