« Previous | Next » 

Revision 2a8efa13

ID2a8efa135d42297eefdfef7b2cb1f334b4ae78e6
Parent 48755fac
Child 6a28e02c

Added by Iustin Pop over 11 years ago

Add an arbitrary set generator helper

This makes it easy to generate sets of "things" that don't even need
to have arbitrary instances, but which have bounded/enum instances.

Signed-off-by: Iustin Pop <>
Reviewed-by: Adeodato Simo <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences