Re: [creduce-bugs] template-non-type-arg-to-int failed to modify testcase

[John Regehr]

(Creduce should keep running here.)

Yeah ok, I will make this non-fatal.  I had wanted to be sure not to 
miss any of these while working on C-Reduce.

Yang will have to address the actual problem.  Thanks for the report!

John