optional timeout flag if processing a source takes too long
Would it be possible to set a timeout at the
command line when processing a single source file?
Some files are simply too complex to be linted.
It would be great if a user could cause flexelint
to report a timeout condition if it cannot finish
processing a file within a set time limit.
1
vote
joseph sarbak
shared this idea