search

runtimeverification / haskell-backend

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

Add pyk implication tests to the rpc integration test suite #3997

Closed goodlyrottenapple closed 3 months ago

goodlyrottenapple commented 3 months ago

This is the first step in bringing the booster implication endpoint in line with kore. Most of the .booster-dev responses will eventually be the same/equivalent to the kore responses.