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

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

What4.FunctionName

Contents

Description

This provides a basic data type for function names.

Synopsis

FunctionName

data FunctionName Source #

For our purposes, a function name is just unicode text. Individual languages may want to further restrict names.

startFunctionName :: FunctionName Source #

Name of function for starting simulator.