Searched refs:format_max_padding (Results 1 – 1 of 1) sorted by relevance
566 const unsigned format_max_padding = 100; in DumpDataExtractor() local574 apfloat.toString(sv, format_precision, format_max_padding); in DumpDataExtractor()580 apfloat.toString(sv, format_precision, format_max_padding); in DumpDataExtractor()593 apfloat.toString(sv, format_precision, format_max_padding); in DumpDataExtractor()599 apfloat.toString(sv, format_precision, format_max_padding); in DumpDataExtractor()