automata: don't use the backtracker when it can't search any haystack - #1376
Open
kimjune01 wants to merge 1 commit into
Open
automata: don't use the backtracker when it can't search any haystack#1376kimjune01 wants to merge 1 commit into
kimjune01 wants to merge 1 commit into
background
wait
wait-all
cancel
parallel
Loading