|
ravel
Deterministic simulation testing for C++. Seed a bug, replay it exact.
|
This is the complete list of members for ravel::Disk, including all inherited members.
| crash() | ravel::Disk | |
| crash_count() const noexcept | ravel::Disk | inline |
| Disk(DiskId id, std::string name, DiskFaultSpec fault, Scheduler &scheduler, VirtualRng &rng, Trace &trace) | ravel::Disk | |
| Disk(const Disk &)=delete | ravel::Disk | |
| durable_contents(const std::string &path) const | ravel::Disk | |
| durable_exists(const std::string &path) const | ravel::Disk | |
| fault() const noexcept | ravel::Disk | inline |
| file_size(const std::string &path) const | ravel::Disk | |
| kSectorSize | ravel::Disk | static |
| list(std::string dir) | ravel::Disk | |
| name() const noexcept | ravel::Disk | inline |
| 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() const | ravel::Disk | |
| write(std::string path, std::uint64_t offset, std::string data) | ravel::Disk |