runner_boot_loader.rb

Initializes the test bench by setting up code coverage, the interactive debugger, and so on:

1. loads the design.rb file if it exists
2. loads the proto.rb file if it exists and prototyping is enabled
3. loads the spec.rb file

Required files