diff tests/test-evolve-abort-phasediv.t @ 6560:abbba073aa88

topic: check for devel.randomseed existence correctly Judging by the block of code above this patch, we want to check for presence of the same config option as we then add. So in this case, it would be devel.randomseed, and not just devel.random. I couldn't find any mention of devel.random in evolve, topic or core, which makes me think it was just a typo.
author Anton Shestakov <av6@dwimlabs.net>
date Fri, 29 Sep 2023 16:36:32 -0300
parents b1d1f4ade142
children 1328195f76a9
line wrap: on
line diff