Romain requested to merge romain-get-seed into master Apr 25, 2024

What

Add a function to get the random seed of the currently running test.

Why

How to Test the MR

I added a test for the Fixed case.

Checklist

Update CHANGES.md. No need to document changes to documentation and tests.
Make sure all new values, types etc. are documented in .mli files and that the generated documentation looks ok.
Add tests in test/, if relevant.