bap-microx

API

Library bap-microx

• Microx Microexecution library.
• Microx_concretizer
• Microx_conqueror