Alas, it would appear I have spoken too soon!
I experienced a strange build failure with RC1 yesterday and, fearing
the worst, did my experiment from a few weeks ago again, with the
– building "Pure" fails in around 6 % of the cases
– this does not change even after a cold
thanks for the explanation and the hint on style.
The below pattern works perfectly in our formalization.
> Am 31.08.2017 um 14:03 schrieb Florian Haftmann
> Note that the pattern above is avoided nowadays by an
> The canonical build parameters for this machine appear to be:
> isabelle build -j8 -o threads=6
I find this combination (8*6 = 48 threads) to be surprising, given that
that machine has only access to 22 physical (non-HT) cores. Judging from
your list below, this is the minimum number of