mirror of
https://github.com/catchorg/Catch2.git
synced 2026-08-23 13:53:29 +02:00
As the types and values sent into the writer are determined by Catch2, I do not expect to actually need this support, but it is better to have it and not be surprised in the future.