[spec] fspec conform function validation can't access outer gen overrides

Description

Given a situation like this, exercising an fspec will fail:

Problem: exercise will generate a function that validates the args and returns a gen int. When exercise then conforms that generated fspec function, it calls conform on the fspec-impl. fspec-impl conform* calls validate-function. validate-function runs quick-check on the generated function but conform* and validate-function do not have access to the generator overrides specified in exercise. This same problem also happens if you run stest/check on anything using the fspec (like an fdef with an fspec arg).

Environment

None

Activity

Show:

Details

Assignee

Reporter

Labels

Approval

Triaged

Affects versions

Priority

Created November 8, 2017 at 7:01 PM
Updated June 22, 2018 at 3:32 PM