runtimeverification / llvm-backend

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

Adding `llvm:cl::opt` support to `kore-rich-header` #1074

Closed Robertorosmaninho closed 1 month ago

Robertorosmaninho commented 1 month ago

Closes https://github.com/Pi-Squared-Inc/pi2/issues/1483

This simple PR addresses @Baltoli's suggestion to include cl::opt in the kore-rich-header to improve the user experience for a broader audience. I also added -o/--output support to improve the tool's usability and compatibility with other tools and scripts.