K5 version
ehildenb opened this issue · comments
For some reason bumping to the newest K5 master branch breaks the strategy-based symbolic execution.
This means that a separate persistent branch of K5 must be maintained just for this repository.
kframework / kat