cabal-version: 2.2
synopsis: An implementation of symbolic I/O primitives for Crucible
description:
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.
name: crucible-symio
version: 0.1
license: BSD-3-Clause
license-file: LICENSE
author: Daniel Matichuk
maintainer: rscott@galois.com, kquick@galois.com, langston@galois.com
build-type: Simple
category: Language
extra-source-files: CHANGELOG.md
source-repository head
type: git
location: https://github.com/GaloisInc/crucible
subdir: crucible-symio
common shared
build-depends: base >=4.12 && <4.19,
aeson,
bv-sized,
bytestring,
crucible,
containers,
directory,
filemanip,
filepath,
IntervalMap,
lens,
mtl,
parameterized-utils,
text,
what4
library
import: shared
exposed-modules:
Lang.Crucible.SymIO
Lang.Crucible.SymIO.Loader
other-modules:
Lang.Crucible.SymIO.Types
What4.CachedArray
Data.Parameterized.IntervalsMap
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall -Wcompat
test-suite crucible-symio-tests
import: shared
type: exitcode-stdio-1.0
default-language: Haskell2010
other-modules:
Data.Parameterized.IntervalsMap
Lang.Crucible.SymIO
Lang.Crucible.SymIO.Loader
Lang.Crucible.SymIO.Types
What4.CachedArray
main-is: TestMain.hs
hs-source-dirs: tests, src
ghc-options: -Wall -Wcompat
build-depends: base >=4.12 && <4.19,
what4,
crucible,
crucible-symio,
parameterized-utils,
tasty,
tasty-hunit