Verrou helps you look for floating-point round-off errors in programs. It implements a stochastic floating-point arithmetic based on random rounding: all floating-point operations are perturbed by randomly switching rounding modes. This can be seen as an asynchronous variant of the CESTAC method, or a subset of Monte Carlo Arithmetic, performing only output randomization through random rounding. NB: This is the development version of Verrou, currently based on the latest stable release of Valgrind, v3.13.0. For other versions, please consult the list of releases.