It is hard to imagine why anyone would want to shoot fish in a barrel.
VOA: special.2009.06.07
And it's hard to imagine a simpler program than this. So we very quickly realize that exhaustive testing is just never feasible for an interesting program.