search

runtimeverification / llvm-backend

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

Update llvm-krun: removing `set -x` #1062

Closed Robertorosmaninho closed 1 month ago

Robertorosmaninho commented 1 month ago

An unnecessary set -x got upstream and is messing up with the CI test's visualization. This PR deletes it.