function selectBenchmarkOptLevel(level) {
  if (level == '') {
    selectedOptLevel = undefined;
    disable(getLoadExampleButton());
    return;
  }
  if (selectedExample != undefined) {
    enable(getLoadExampleButton());
  }
  selectedOptLevel = level;
}
/**
 * Sets the optimization level according to the given selected value from the UI
 * element.
 * @param {number} level
 */
Sets the optimization level according to the given selected value from the UI
element.
@param {number} level
Sets the optimization level according to the given selected value from the UI element . @param { number } level
function selectBenchmarkOptLevel(level) {
  if (level == '') {
    selectedOptLevel = undefined;
    disable(getLoadExampleButton());
    return;
  }
  if (selectedExample != undefined) {
    enable(getLoadExampleButton());
  }
  selectedOptLevel = level;
}
function selectBenchmarkOptLevel ( level ) { if ( level == '' ) { selectedOptLevel = undefined ; disable ( getLoadExampleButton ( ) ) ; return ; } if ( selectedExample != undefined ) { enable ( getLoadExampleButton ( ) ) ; } selectedOptLevel = level ; }
Sets the optimization level according to the given selected value from the UI
 element.
Sets the optimization level according to the given selected value from the UI element .