Frama-C API - Aorai
Aorai plugin (AKA Ltl_to_acsl). No function is directly exported: they are registered in Db.Aorai.
Frama-C Frama-C AoraiAorai plugin (AKA Ltl_to_acsl). No function is directly exported: they are registered in Db.Aorai.