[GitHub] [flink] pnowojski commented on pull request #6781: [FLINK-10470] Add method to check if pattern can produce empty matches

[GitHub]

Can we loop here forever if `PROCEED` takes us to already visited node? 
Shouldn't we check for already visited states? 

[ Full content available at: https://github.com/apache/flink/pull/6781 ]
This message was relayed via gitbox.apache.org for devnull@infra.apache.org