These pages are documentation for the SibylFS project.
These pages document how to use SibylFS. The paper "SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems" http://sigops.org/sosp/sosp15/current/2015-Monterey/printable/102-ridge.pdf should be read first, particularly sections 1 and 2 which give background and an overview of the system, and section 6 which describes the test suite and harness.
Binaries can be downloaded from GitHub. See installation for further instructions.
The test suite is available from GitHub. See here for further instructions.
- http://sibylfs.github.io/sibylfs_examples/2015-07-10_KvD/html/index.html - a small example, ext4 on Linux,
- http://sibylfs.github.io/sibylfs_examples/2015-07-24_y2I/html/index.html - a full test run, ext4, Linux
- http://fs.dsheets.name/ - a repository of test runs across many different platforms and file systems