package sibylfs
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
formal specification and oracle-based testing for POSIX file systems
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.0.tar.gz
sha256=db3cd57b117bac2dd13f8533ab1373a834bbccfb8cfc8feab624897c42177696
md5=3ec26e4dcd63041162473cb15f563a48
Description
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.
Published: 04 Oct 2015
Dependencies (14)
-
unix-fcntl
>= "0.2.0" & < "0.3.0" -
cow
>= "1.2.0" & < "2.0.0" - menhir
-
sexplib
< "113.01.00" - camlp4
- fd-send-recv
- cmdliner
- sha
-
cppo
build -
sibylfs-lem
build -
ocamlfind
build - base-bytes
- base-unix
- ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page