crucible-symio: An implementation of symbolic I/O primitives for Crucible

This library provides language-independent overrides implementing filesystem operations (as provided by most operating systems). These primitives support reading and writing symbolic data. An example use case would be to support verifying programs that e.g., use configuration files or accept input from files.

Modules

[Index] [Quick Jump]

Downloads

• crucible-symio-0.1.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

• ryanglscott, galoisinc, mccleeary, sauclovian_g, aschwerdfeger_galois

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates