Intrumentation
Added scripts for instrumentation. Benchmarks scripts must be updated with the "$INSTRUMENT" env variable prepended to the command that launches the benchmark.
TODO: Add documentation for the changes.
Added scripts for instrumentation. Benchmarks scripts must be updated with the "$INSTRUMENT" env variable prepended to the command that launches the benchmark.
TODO: Add documentation for the changes.