add spec module in definition_args - Githubissues

runtimeverification / pyk

Python tools for the K Framework

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

13 stars 2 forks source link

add spec module in definition_args #1076

Closed anvacaru closed 6 months ago

anvacaru commented 6 months ago

Closes: https://github.com/runtimeverification/evm-semantics/issues/2367

adding spec_module to definition_args.

Baltoli commented 6 months ago

Superseded by https://github.com/runtimeverification/k/pull/4172