runtimeverification / llvm-backend

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

Update `proof-trace.md` with new changes #1079

Closed Robertorosmaninho closed 1 month ago

Robertorosmaninho commented 1 month ago

This small PR removes the mention of the sentinel delimiter at the end of KORE terms and replaces the output method from redirecting it to a file to use the proper output flag of krun (--output-file) and of kore-rich-header (the recently added -o).