apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Published 20 hours ago • verified publisher icon apalache-mc

Use `ElemPtr` for lazy set membership

Open Kukovec opened this issue 2 years ago • 0 comments

Remove all instances of assertGroundExpr for set membership and refer to ElemPtr.toSmt in the reconstruction phase instead.

Kukovec avatar Jan 25 '23 15:01 Kukovec