March 31, 2015
2:53 p.m.
This might be considered a bug in the trace() function. The debug output functions we use outside tests can be used in this way without printing the prefix multiple times.