option prover_allow_fresh_constants
Default: true
If false, theorem provers will fail when encountering new constants generated from java execution.
Keyword:
Appears in: