quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Fix `isFinite` for all kinds of sets

Open konnov opened this issue 2 years ago • 1 comments

We now have different kinds of sets, including Int and Nat, and sets containing them. We should update isFinite to work correctly.

konnov avatar Oct 18 '22 15:10 konnov

The current simulator definition of isFinite:

https://github.com/informalsystems/quint/blob/8ff175a9d7b893c3bb9fab6537356b060db9c31b/quint/src/runtime/impl/compilerImpl.ts#L702-L705

It's not clear to me what fixing means in this context.

shonfeder avatar Jan 09 '24 18:01 shonfeder