Computing substitutions when creating `Split` nodes

runtimeverification / pyk

Python tools for the K Framework

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

13 stars 2 forks source link

Computing substitutions when creating `Split` nodes #1013

Closed PetarMax closed 7 months ago

PetarMax commented 7 months ago

This PR corrects the creation of Split nodes by computing the substitutions from the source to the target node, just as is done in the case of Cover nodes.