TASO icon indicating copy to clipboard operation
TASO copied to clipboard

Published 20 hours ago • verified publisher icon jiazhihao

verify.py hangs on graph_subst.pb

Open remysucre opened this issue 4 years ago • 1 comments

verify.py hangs when running on TASO/graph_subst.pb. The problematic rules seem to be 99, 100, 130, 131.

I also noticed TASO/graph_subst.pb contains 132 rules in total, while the generated pb file has 819 rules. Could you help me understand the difference? Thanks!

remysucre avatar May 21 '20 18:05 remysucre

I met the same problem.

jiahuiyang avatar Dec 26 '20 01:12 jiahuiyang