2017-04-25 18:46 GMT+02:00 Paul Gofman <gofmanp at gmail.com>: > Could you please advise how to best add it: just as this patch in if(0) {}, > or a separate test? I prefer the former i.e. no separate test. Thanks!