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

[ bsd3, language, library ] [ Propose Tags ]

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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1
Change log
Dependencies aeson, base (>=4.12 && <4.19), bv-sized, bytestring, containers, crucible, directory, filemanip, filepath, IntervalMap, lens, mtl, parameterized-utils, text, what4 [details]
License BSD-3-Clause
Author Daniel Matichuk
Category Language
Source repo head: git clone
Uploaded by ryanglscott at 2024-02-05T21:13:57Z
Reverse Dependencies 2 direct, 1 indirect [details]
Downloads 33 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-02-05 [all 1 reports]