certik/sympy-bot — comment on commit e836da4f37e95de05c18f6053b634851f462dfff
File:  line 0
By asmeurer:

The original purpose of this was to be able to pipe the output into `xargs sympy-bot`, though now that you can run multiple tests at once, this is no longer necessary.