stardis-solver

commit 45354abc37efc5036f69598b0cc897e314819329
parent 136834f97d5fd43eb9aceece390612a05f1e8fec
Author: Megane Bati <megane.bati@irit.fr>
Date:   Fri, 12 Sep 2025 10:46:18 +0200

Fix unit test

On this test, estimation should be different using two different seeds.
It was not the case for a specific computer. Then I changed the seed
again. Not warranty that this fix will always work.

Diffstat:
M
src/test_sdis_solve_probe2.c
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test_sdis_solve_probe2.c b/src/test_sdis_solve_probe2.c
@@ -296,7 +296,7 @@ main(int argc, char** argv)
 
   /* Check the RNG state */
   OK(ssp_rng_create(NULL, SSP_RNG_THREEFRY, &rng));
-  OK(ssp_rng_discard(rng, 3141592653589)); /* Move the RNG state  */
+  OK(ssp_rng_discard(rng, 314159265358979)); /* Move the RNG state  */
   solve_args.rng_state = rng;
   solve_args.rng_type = SSP_RNG_TYPE_NULL;
   OK(sdis_solve_probe(scn, &solve_args, &estimator2));