search

runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
34 stars 19 forks source link

add axiom filtering property to python bindings #1061

Closed dwightguth closed 1 month ago

dwightguth commented 1 month ago

This adds a boolean property to kore_axiom_declaration objects which will be True if the axiom is used by the LLVM backend and False if the LLVM backend filters it out.

Robertorosmaninho commented 1 month ago

Can we have some unit tests like (or included in) here?