search

paulgazz / kmax

A collection of analysis tools for Kconfig and Kbuild constraints.
41 stars 18 forks source link

Add a `--save-smt` option to output `klocalizer`'s constraint in smt-lib-v2 format. #231

Closed paulgazz closed 1 year ago

paulgazz commented 1 year ago

Similarly to #54, add an option to save klocalizer's constraint in smt-lib-v2 format.