The configuration options for verification operations.

---

synthesisSourcesboolean
Enable source tracing to identify synthesis sources during verification.
Default value: false
Example: true

VerificationConfig

{
  "synthesisSources": true
}