[xsmith-dev] XSmith questions

[Sorawee Porncharoenwase]

Oh, and about this question:

> In Dafny do function expressions not generate closures?
>

It does, but an important part of the language is top-level function
expression definition, which would not have a lifting target.

So yes, choice-filters-to-apply seems like a solution, but see my above
question about how to use it properly.

Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </listarchives/xsmith-dev/attachments/20210827/92644fd6/attachment.html>