function selectBenchmark(example) {
  if (example == '') {
    selectedExample = undefined;
    disable(getLoadExampleButton());
    return;
  }
  if (selectedOptLevel != undefined) {
    enable(getLoadExampleButton());
  }
  selectedExample = example;
}
/**
 * Sets the benchmark to the given example.
 * @param {string} example
 */
Sets the benchmark to the given example.
@param {string} example
Sets the benchmark to the given example . @param { string } example
function selectBenchmark(example) {
  if (example == '') {
    selectedExample = undefined;
    disable(getLoadExampleButton());
    return;
  }
  if (selectedOptLevel != undefined) {
    enable(getLoadExampleButton());
  }
  selectedExample = example;
}
function selectBenchmark ( example ) { if ( example == '' ) { selectedExample = undefined ; disable ( getLoadExampleButton ( ) ) ; return ; } if ( selectedOptLevel != undefined ) { enable ( getLoadExampleButton ( ) ) ; } selectedExample = example ; }
Sets the benchmark to the given example.
Sets the benchmark to the given example .