circt::lec Namespace Reference

Enumerations
enum class	InsertAdditionalModeEnum { None , Reporting , Main }

Enumeration Type Documentation

InsertAdditionalModeEnum

enum class circt::lec::InsertAdditionalModeEnum

strong

Enumerator
None	Don't insert any LLVM code.
Reporting	Insert LLVM code to report the LEC result from an SMT solver.
Main	Insert a main function for AOT compilation.

Definition at line 21 of file Passes.h.