what4-1.0: Solver-agnostic symbolic values support for issuing queries

Copyright(c) Galois Inc 2013-2020
LicenseBSD3
MaintainerJoe Hendrix <jhendrix@galois.com>
Stabilityprovisional
Safe HaskellSafe
LanguageHaskell2010

What4.Utils.Environment

Description

Provides functions for finding an executable, and expanding a path with referenced to environment variables.

Synopsis

Documentation

findExecutable Source #

Arguments

:: (MonadIO m, MonadFail m) 
=> FilePath

Path to expand

-> m FilePath 

Find an executable from a string.