CLIPS_NETLISTING_TIMEOUT

CLIPS_NETLISTING_TIMEOUT "x_time"

Description

Specifies the maximum duration (in seconds) allowed for netlisting before timing out.

The default value is 300.

Examples

setenv CLIPS_NETLISTING_TIMEOUT "150"