HOTFIX change condition to constraint in context options

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 2 weeks ago

The context string was changed in prior PR #3919 but the configuration options were not, leading to incomplete data for abort analysis..