verify.py hangs on graph_subst.pb

jiazhihao / TASO

The Tensor Algebra SuperOptimizer for Deep Learning

Apache License 2.0

693 stars 90 forks source link

verify.py hangs on graph_subst.pb #62

Open remysucre opened 4 years ago

remysucre commented 4 years ago

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!

jiahuiyang commented 3 years ago

I met the same problem.