Inputting string with many identifiers overload the identifier-to-quickstatemnets tool
Opened this issue · 0 comments
fnielsen commented
Describe the bug
Inputting string with many identifiers overload the identifier-to-quickstatements tool
To Reproduce
Steps to reproduce the behavior:
Expected behavior
Should complete: Either extract identifiers and match or report an error of some kind