Closed johnynek closed 6 years ago
This seems to fix an issue with an infinite loop I was seeing that we were interpreting as it taking a long time.
I think when randomly making rules: one would change the graph in one way, the next would change it back, creating an infinite loop.
I seem to fix it by removing a rule from random selection. I also check that the standard rules don't loop infinitely.
lgtm
lgtm 👍
the only test that failed is the one that is fixed by #1805.
Merging since that one should fix it up.
This seems to fix an issue with an infinite loop I was seeing that we were interpreting as it taking a long time.
I think when randomly making rules: one would change the graph in one way, the next would change it back, creating an infinite loop.
I seem to fix it by removing a rule from random selection. I also check that the standard rules don't loop infinitely.