src: always use diagnostic file sequence number
This commit attaches a sequence number to all filenames that are automatically generated by DiagnosticFilename
. This prevents accidental overwriting of existing files.
Checklist
-
make -j4 test
(UNIX), orvcbuild test
(Windows) passes -
commit message follows commit guidelines