FSYR2K_Upper_NoTrans fails with seed 891150396

[d-torrance]

Got this on a build of the Debian package for 2.5.0:

==============================================
   FFLAS-FFPACK 2.5.0: tests/test-suite.log
==============================================

# TOTAL: 38
# PASS:  37
# SKIP:  0
# XFAIL: 0
# FAIL:  1
# XPASS: 0
# ERROR: 0

.. contents:: :depth: 2

FAIL: test-fsyr2k
=================

Checking with Modular_implem<double, double, uint64_t> modulo 46525517
Checking FSYR2K_Upper_NoTrans......................PASSED (0.001024)
Checking FSYR2K_Upper_Trans........................PASSED (0.000877)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.000968)
Checking FSYR2K_Lower_Trans........................PASSED (0.000883)
Checking FSYR2K_Upper_NoTrans......................PASSED (0.002873)
Checking FSYR2K_Upper_Trans........................PASSED (0.002442)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.002691)
Checking FSYR2K_Lower_Trans........................PASSED (0.002462)
Checking with Modular_implem<double, double, uint64_t> modulo 77751967
Checking FSYR2K_Upper_NoTrans......................PASSED (0.003004)
Checking FSYR2K_Upper_Trans........................PASSED (0.002314)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.003007)
Checking FSYR2K_Lower_Trans........................PASSED (0.002307)
Checking FSYR2K_Upper_NoTrans......................PASSED (0.008685)
Checking FSYR2K_Upper_Trans........................PASSED (0.00662)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.00868)
Checking FSYR2K_Lower_Trans........................PASSED (0.00666)
Checking with Modular_implem<double, double, uint64_t> modulo 6152191
Checking FSYR2K_Upper_NoTrans......................PASSED (0.001019)
Checking FSYR2K_Upper_Trans........................PASSED (0.000939)
Checking FSYR2K_Lower_NoTrans......................PASSED (1e-06)
Checking FSYR2K_Lower_Trans........................PASSED (0)
Checking FSYR2K_Upper_NoTrans......................PASSED (0.00267)
Checking FSYR2K_Upper_Trans........................PASSED (0.001944)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.00262)
Checking FSYR2K_Lower_Trans........................PASSED (0.001961)
Checking with ModularBalanced<double> modulo 46525517
Checking FSYR2K_Upper_NoTrans......................PASSED (0.001116)
Checking FSYR2K_Upper_Trans........................PASSED (0.001016)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.001053)
Checking FSYR2K_Lower_Trans........................PASSED (0.001016)
Checking FSYR2K_Upper_NoTrans......................PASSED (0.003016)
Checking FSYR2K_Upper_Trans........................PASSED (0.002756)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.002893)
Checking FSYR2K_Lower_Trans........................PASSED (0.002761)
Checking with ModularBalanced<double> modulo 28589749
Checking FSYR2K_Upper_NoTrans......................PASSED (0.000779)
Checking FSYR2K_Upper_Trans........................PASSED (0.000692)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.00078)
Checking FSYR2K_Lower_Trans........................PASSED (0.000698)
Checking FSYR2K_Upper_NoTrans......................PASSED (0.00199)
Checking FSYR2K_Upper_Trans........................PASSED (0.00164)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.001989)
Checking FSYR2K_Lower_Trans........................PASSED (0.001644)
Checking with ModularBalanced<double> modulo 140369921
Checking FSYR2K_Upper_NoTrans......................PASSED (0.01002)
Checking FSYR2K_Upper_Trans........................PASSED (0.009281)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.009973)
Checking FSYR2K_Lower_Trans........................PASSED (0.009269)
Checking FSYR2K_Upper_NoTrans......................PASSED (0.029065)
Checking FSYR2K_Upper_Trans........................PASSED (0.027005)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.029128)
Checking FSYR2K_Lower_Trans........................PASSED (0.027016)
Checking with Modular_implem<float, float, uint32_t> modulo 3187
Checking FSYR2K_Upper_NoTrans......................PASSED (0.003025)
Checking FSYR2K_Upper_Trans........................PASSED (0.002309)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.003008)
Checking FSYR2K_Lower_Trans........................PASSED (0.002314)
Checking FSYR2K_Upper_NoTrans......................PASSED (0.008671)
Checking FSYR2K_Upper_Trans........................PASSED (0.006594)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.008685)
Checking FSYR2K_Lower_Trans........................PASSED (0.006629)
Checking with Modular_implem<float, float, uint32_t> modulo 1699
Checking FSYR2K_Upper_NoTrans......................PASSED (0.000854)
Checking FSYR2K_Upper_Trans........................PASSED (0.000779)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.000861)
Checking FSYR2K_Lower_Trans........................PASSED (0.000774)
Checking FSYR2K_Upper_NoTrans......................PASSED (0.002404)
Checking FSYR2K_Upper_Trans........................PASSED (0.002164)
Checking FSYR2K_Lower_NoTrans......................PASSED (0.002419)
Checking FSYR2K_Lower_Trans........................PASSED (0.00218)
Checking with Modular_implem<float, float, uint32_t> modulo 2
Checking FSYR2K_Upper_NoTrans......................Fail at i = 0 j = 0
Fail at i = 0 j = 1
Fail at i = 0 j = 2
Fail at i = 0 j = 3

... [snip] ...

0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 0 1 1 1 1 0 1
0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 1 1
0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1
1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1
with seed = 891150396
FAIL test-fsyr2k (exit status: 1)

I'm also able to reproduce this locally running tests/test-fsyr2k -s 891150396.

[ClementPernet]

I can also reproduce it. I'm inverstigating.