@hackage / crucible-symio

An implementation of symbolic I/O primitives for Crucible

Latest0.2.0.0

About

Metadata

  • Last updated , by aschwerdfeger_galois
  • License BSD-3-Clause

  • Maintained by: rscott@galois.com, kquick@galois.com, langston@galois.com

  • Lottery factor: 4

Links

Installation

Readme

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.