Yohan Chatelain

BET fails due to a non-empty stderr although its return code is 0

4

### What happened? The [fmriprep-reproducibility](https://github.com/SIMEXP/fmriprep-reproducibility) project evaluates the numerical stability of fmriprep. This project uses the [fuzzy](https://github.com/verificarlo/fuzzy) environment that adds random perturbations to floating-point operations. In addition, fuzzy prints debug...

As a general comment, nothing to be changed yet, but to discuss for later. shall we keep relative path? Or use verificarlo_home variable? _Originally posted by @titeup in https://github.com/verificarlo/verificarlo/pull/308#discussion_r919275649_

Hi, here are the instructions for building your docker image with the fuzzy-libmath: ```bash $> git clone https://github.com/verificarlo/fuzzy.git $> cd fuzzy $> ./docker/resources/build_fuzzy_libmath_dockerfile.sh $> docker run -it ``` where `DOCKER_IMAGE`...

This behaviour can be counter-intuitive for the user since in that case, the seed will be set using `gettimeofday`. One solution would be to report the seed as `undefined` instead...