Safe Haskell	Safe-Inferred
Language	Haskell2010

Lang.Crucible.LLVM.Internal

Description

Items in this module should not be considered part of Crucible-LLVM's API, they are exported only for the sake of the test suite.

Synopsis

assertionsEnabled :: IO Bool

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:crucible-llvm target. We verify that we have done so by asserting as much in the test suite.