| Copyright | (c) Galois Inc 2021 |
|---|---|
| License | BSD3 |
| Maintainer | Rob Dockins <rdockins@galois.com> |
| Stability | provisional |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Lang.Crucible.Simulator.PositionTracking
Description
Synopsis
- positionTrackingFeature :: IsSymInterface sym => sym -> IO (GenericExecutionFeature sym)
Documentation
positionTrackingFeature :: IsSymInterface sym => sym -> IO (GenericExecutionFeature sym) Source #
This execution feature adds a LocationReachedEvent to
the backend assumption tracking whenever execution reaches the
head of a basic block.