On 2015-11-12 05:23, John Regehr wrote:
Sorry wrong paste http://www.cs.utah.edu/~regehr/bug.tar.bz2
Yes, I will take a look at it. Thanks. - Yang