search

runtimeverification / llvm-backend

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

Adding `--` back to `llvm-kompile` call in `llvm-kompile-testing` #1054

Closed Robertorosmaninho closed 1 month ago

Robertorosmaninho commented 1 month ago

Fixes #858.

This -- was previously removed here by @Baltoli. We need to double-check if this won't break anything.