First set timeout, then check prelude - Githubissues

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework

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

208 stars 41 forks source link

First set timeout, then check prelude #3962

Closed geo2a closed 3 months ago