PropCheck.Instrument.instrument_module
You're seeing just the function
instrument_module
, go back to PropCheck.Instrument module for more information.
Specs
Takes the object code of the module, instruments it and update the module in the code server with instrumented byte code.