[][src]Module bytecode::test_instrumenter

Structs

TestInstrumenter

A function target processor which instruments specifications and code for the purpose of specification testing.