[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Error while generating bearoff database
From: |
Philippe Michel |
Subject: |
Re: Error while generating bearoff database |
Date: |
Tue, 6 Oct 2020 22:13:13 +0200 |
On Tue, Oct 06, 2020 at 12:14:19PM +0200, Øystein Schønning-Johansen wrote:
> maybe there should be a warning, or at least a check that stops the
> execution.
Such a check was added a few month ago, after a similar bug report (I
don't remember if it was in this list or by some other mean) and will be
in the next release :
% ./makebearoff -o 15 -f gnubg_os0.bd
Size of one-sided bearoff database should be at most 13 points
% ./makebearoff -t 6x15 -f gnubg_ts0.bd
Size of two-sided bearoff database must be at most 11 chequers