file_instrumentation library

Classes

FileInstrumentationServer
An InstrumentationServer that writes to a file.