Problem statement: Enable instrumentation, and invoke a speced function with a lambda. To validate the lambda, spec tests it with generative testing. This results in the lambda being invoked multiple times. If the lambda launches a missile, many missiles are now launched by spec. There are many scenarios in which this is not acceptable because it can for example crash the environment.
- Don't spec the lambda. Disadvantage: Spec can't generate it in contexts where its spec is referred.
- Set fspec-iterations to 0. Disadvantage: Disables all validation of all lambdas.
- An fspec flag to disable the generative testing of its validation.