[spec] Disable fspec validation during instrumentation

Description

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.

Current solutions:

  • 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.

  • ???

Ideas:

  • An fspec flag to disable the generative testing of its validation.

Environment

JVM

Assignee

Unassigned

Reporter

Leon Grapenthin

Approval

None

Patch

None

Affects versions

Priority

Major
Configure