bap-veri 0.2.4

Libraries

This package provides the following libraries (via ocamlobjinfo):

bap-veri

Documentation:

• Veri_error
• Veri_rule rule = ACTION : INSN : EVENT : EVENT
• Veri_policy
• Veri_report
• Veri_stat
• Veri_traci
• Veri