sibylfs

Authors { Tom Ridge <tom.j.ridge@googlemail.com>, Thomas Tuerk <tt291@cl.cam.ac.uk>, David Sheets <sheets@alum.mit.edu>, Andrea Giugliano <agiugliano@live.it> }
Homepage http://sibylfs.io/
Issue Tracker https://github.com/sibylfs/sibylfs_src/issues
Maintainer tom.j.ridge@googlemail.com
Dependencies
& base-bytes
base-unix
camlp4
cmdliner
cow >= 1.2.0& 2.0.0
cppo
fd-send-recv
menhir
ocamlfind
sexplib 113.01.00
sha
sibylfs-lem
unix-fcntl >= 0.2.0& 0.3.0
Published Oct 2, 2015
Source [http] http://github.com/sibylfs/sibylfs_src/archive/0.5.0.tar.gz
3ec26e4dcd63041162473cb15f563a48
Statistics Installed 2 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/sibylfs/sibylfs.0.5.0/opam

formal specification and oracle-based testing for POSIX file systems

SibylFS is a formal specification in Lem of the POSIX file system API and its real-world variations as found in Linux, OS X, and FreeBSD. The specification is executable so that the more than 20,000 test cases do not require inclusion of expected behavior -- the expectation envelope can be automatically extracted and checked against a real file system! SibylFS has found numerous bugs in many different file system, VFS, and libc configurations.

No package is dependent