test.check

gen/elements should work with arbitrary collections

Details

  • Type: Defect Defect
  • Status: Resolved Resolved
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

gen/elements currently fails for any collection on which nth fails.

We can fix this by calling vec on the input, which has the added benefit of ensuring that the subsequent indexed lookups (one per generated value) are constant time.

A patch to that effect is imminent.

Activity

Hide
Gary Fredericks added a comment -

Added TCHECK-28.patch.

Show
Gary Fredericks added a comment - Added TCHECK-28.patch.
Hide
Reid Draper added a comment -

Applied in 1df5a635bcf195c2f98717da3929f6c0d832ee0e.

Show
Reid Draper added a comment - Applied in 1df5a635bcf195c2f98717da3929f6c0d832ee0e.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: