lint

wlutil/launch.py

@@ -37,9 +37,9 @@ def getSpikeCmd(config, nodisk=False):
         log.warn("You have hard-coded a disk image in your workload. Spike does not support disk images, your workload may not work correctly. Consider building with the '--nodisk' option (for linux-based workloads).")
     elif 'img' in config and not nodisk:
         riscv_lib_path = os.getenv('RISCV')
-        if not os.path.isfile(riscv_lib_path+'/lib/libspikedevices.so'): 
+        if not os.path.isfile(riscv_lib_path+'/lib/libspikedevices.so'):
             raise ValueError("Spike does not support disk-based configurations without libspikedevices.so")
-        
+
         spikeArgs += '--extlib=libspikedevices.so ' +\
                      "--device=\"iceblk," +\
                      'img=' + str(config.get('img', '')) + "\" "
@@ -50,7 +50,7 @@ def getSpikeCmd(config, nodisk=False):
         spikeBin = 'spike'
 
     cmd = [spikeBin,
-           spikeArgs, #config.get('spike-args', ''),
+           spikeArgs,  # config.get('spike-args', ''),
            ' -p' + str(config['cpus']),
            ' -m' + str(int(config['mem'] / (1024*1024)))]
     if nodisk: