option fast_consistency_check

Default: true

Use a faster but less accurate conservativity/consistency check.

Keyword:

Appears in: