Simon Riggs wrote:
> It seems I wrote my original tests using "and" instead of "where" and
> hadn't noticed the distinction. Thanks for helping me catch that error.
Ah, yeah, that's a big difference. Proving correctness is hard, but to
refute something you need just one test case that fails ;-).
--
Heikki Linnakangas
EnterpriseDB http://www.enterprisedb.com