ravel
Deterministic simulation testing for C++. Seed a bug, replay it exact.
Loading...
Searching...
No Matches
ravel::Disk Member List

This is the complete list of members for ravel::Disk, including all inherited members.

crash()ravel::Disk
crash_count() const noexceptravel::Diskinline
Disk(DiskId id, std::string name, DiskFaultSpec fault, Scheduler &scheduler, VirtualRng &rng, Trace &trace)ravel::Disk
Disk(const Disk &)=deleteravel::Disk
durable_contents(const std::string &path) constravel::Disk
durable_exists(const std::string &path) constravel::Disk
fault() const noexceptravel::Diskinline
file_size(const std::string &path) constravel::Disk
kSectorSizeravel::Diskstatic
list(std::string dir)ravel::Disk
name() const noexceptravel::Diskinline
operator=(const Disk &)=delete (defined in ravel::Disk)ravel::Disk
read(std::string path, std::uint64_t offset, std::uint64_t length)ravel::Disk
remove(std::string path)ravel::Disk
rename(std::string from, std::string to)ravel::Disk
sync(std::string path)ravel::Disk
sync_dir(std::string dir)ravel::Disk
used_bytes() constravel::Disk
write(std::string path, std::uint64_t offset, std::string data)ravel::Disk