search

runtimeverification / pyk

Python tools for the K Framework
BSD 3-Clause "New" or "Revised" License
13 stars 2 forks source link

Fix `AddDomainValueAtts` #1030

Closed tothtamas28 closed 5 months ago

tothtamas28 commented 5 months ago

AddDomainValueAtts filtered out sentences other than sort declarations, which the test failed to catch due to a typo.

tothtamas28 commented 5 months ago

You could consider adding helpers to KFlatModule for projecting out certain sentence types directly

Done: #1036