tree 023ba45cefa70f64d94d8576f65919000ee45a88
parent 54b2ccd59262eaeab887c5798ae6b12b3bb7b04b
author Filip Niksic <fniksic@google.com> 1770826581 -0800
committer Copybara-Service <copybara-worker@google.com> 1770826659 -0800

Refactor FuzzTest custom printer extension points.

The source code printing extension point `FuzzTestPrintSourceCode` is changed to
be consistent with `AbslStringify`. The custom printer auto-detection is
simplified: a type is considered to have a custom printer if it has either
`AbslStringify` or `FuzzTestPrintSourceCode` (or both). `AbslStringify` is used
for human-readable mode, and `FuzzTestPrintSourceCode` is used for the
source-code mode. Either is a fallback if the other extension point is missing.

This change required updates in the XLS code, most of which are straightforward.
One thing worth pointing out is that I moved the printing function for
`std::vector<std::vector<Value>>` from `ir_fuzz_test_library` to the `value`
library, where it fits more naturally.

PiperOrigin-RevId: 868685539