1
0
mirror of https://github.com/catchorg/Catch2.git synced 2025-03-22 02:14:46 +01:00
Jozef Grajciar 9f8b848fe5 XmlReporter: add information about rng-seed
Xml result of reported will now contain value of rng-seed in case it
is not zero.
The value will be stored in element Randomness and it's attribute seed.

Relates to 
2018-10-13 16:53:44 +02:00
..