bap-microx
Microx_conqueror.main
BIR interpreter, that executes a program in a given context.
if is true then only feasible execution path is taken, otherwise, the interpreter, will execute all linearly independent paths.
true
inherit 'a Bap.Std.biri
constraint 'a = context