uvm_default_report_server::report_summarize doesn't use file argument

[jdickol 1]

uvm_default_report_server::report_summarize has a "file" argument which should control where the summary information is written. This doesn't work.  There is no code in that function which uses the file argument.  I checked both 1800.2-2017-1.0 and 1800.2-2017-1.1.  Looks like a bug in the reference implementation?

virtual function void report_summarize(UVM_FILE file = UVM_STDOUT);

[Justin Refice 3]

Thanks for posting!  This is a known bug being tracked in https://accellera.mantishub.io/view.php?id=6306... we expect to have it fixed in the next release of the reference implementation (1800.2 2020-1.0).