runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework
BSD 3-Clause "New" or "Revised" License
204 stars 39 forks source link

kore-rpc-client: Add an `--omit-details` flag for `run-tarball` mode #3961

Closed jberthold closed 5 days ago

jberthold commented 1 week ago

When running fall-back analysis, it is usually not interesting whether all response terms match exactly with the expectations. (For instance, one might change the definition and expect fewer fall-backs, but also cause slightly changed output)

The new flag --omit-details for kore-rpc-client run-tarball only checks that the response type matches (i.e., no unexpected errors have happened).