Commit 4a1cfbcc authored Sep 12, 2022 by Jan Kiene

Merge branch 'sanitizer-test-adaptations' into 'main'

Minor tweaks for sanitizer tests

See merge request !122