search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

correct in_keys #2384

Closed daejunpark closed 6 years ago

daejunpark commented 6 years ago

Fix a bug introduced in 92606afa52040f93691a55d93ef1402bc4b2795c where in_keys behaves incorrectly over symbolic maps and keys.

daejunpark commented 6 years ago

Will add tests soon.

daejunpark commented 6 years ago

@andreistefanescu could you please review this?

daejunpark commented 6 years ago

I merge this to release erc20 verification on time. We can revert it later if a problem found.