Start K Server for CI tests

runtimeverification / evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

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

509 stars 144 forks source link

Start K Server for CI tests #2124

Open ehildenb opened 1 year ago

ehildenb commented 1 year ago

Start K Server before KEVM Haskell and KEVM Foundry tests.
Make sure that we're getting a shared Z3 process pool among those.

Would it be possible to integrate this logic for starting the K Server into the testing plugin? https://github.com/runtimeverification/pyk/blob/master/src/pyk/testing/_kompiler.py.

F-WRunTime commented 10 months ago

Best way I can think to handle this is by spinning up the kserver as part of the workflow as part of the pyk code / test itself. @tothtamas28 See some discussion on the topic in the PYK issue but maybe the problem has been resolved somewhere else?