On Thu, May 19, 2016 at 12:35:58PM +0200, Julia Lawall wrote: > On Wed, 18 May 2016, Luis R. Rodriguez wrote: > > > This should not only help test but also demo use of exists > > and forall. > > Thanks for the examples. But should it go in tests or in demos? Demos > could be better if the main purpose is to help the user understand exists > and forall.
Sure thing, will move! Luis _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
