« Previous | Next » 

Revision df8578fb

IDdf8578fbde3f99d1c556f87d0ccd7b38fa49b3e8

Added by Iustin Pop over 9 years ago

Generalise the test helper 'genUniquesList'

Instead of always using "arbitrary", make it require a generator (that
can then use more complex rules for building the list elements), and
also convert it to use a temporary set instead of list membership.

Signed-off-by: Iustin Pop <>
Reviewed-by: Guido Trotter <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences