mirror of
https://github.com/catchorg/Catch2.git
synced 2025-03-13 22:34:45 +01:00

Runs CATCH, filters results (truncates paths, removes hex digits which are probably pointers) then diffs the results)
Runs CATCH, filters results (truncates paths, removes hex digits which are probably pointers) then diffs the results)