text: /*
   * ConfigOptions.h
   *
   *  Created on: Feb 16, 2017
   *      Author: vance
   */
  
  #ifndef SRC_GPGPU_SIM_CONFIGOPTIONS_H_
  #define SRC_GPGPU_SIM_CONFIGOPTIONS_H_
  
  #include <stdint.h>
  
  class ConfigOptions {
  public:
    static uint32_t n_apps;
  };
  
  #endif /* SRC_GPGPU_SIM_CONFIGOPTIONS_H_ */
  