3934 smt translation fixes

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework

BSD 3-Clause "New" or "Revised" License

204 stars 39 forks source link

Closed jberthold closed 2 weeks ago

jberthold commented 3 weeks ago

Fixes #3934 (translation of nullary functions)
Works around https://github.com/runtimeverification/k/issues/4400 by renaming/de-duplicating smtlib attributes to avoid name collisions