[−][src]Module finch::executor

A Symbolic Executor for Falcon IL

Structs

Driver	A `Driver` to driver `State` over an `il::Program`.
Memory
Page
State	A symbolic `State`.
StateTranslator	A wrapper around a symbolic `State` which implements the `TranslationMemory` trait.
Successor	The result of executing an `il::Operation` over a `State`.
SymbolicMemory
Trace
TraceItem

A representation of the successor location in an il::Program after execution of an il::Operation.

expression_complexity
simplify