| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
What4.Internal
Description
Items in this module should not be considered part of What4's API, they are exported only for the sake of the test suite.
Synopsis
Documentation
assertionsEnabled :: IO Bool Source #
Check if assertions are enabled.
Note [Asserts]: When optimizations are enabled, GHC compiles assert to
a no-op. However, Cabal enables -O1 by default. Therefore, if we want our
assertions to be checked by our test suite, we must carefully ensure that we
pass the correct flags to GHC for the lib:what4 target. We verify that we
have done so by asserting as much in the test suite.