From 94cc65997d237ddeab24d396f06bb93bc0644a9d Mon Sep 17 00:00:00 2001 From: Jonathan Herman Date: Tue, 30 Apr 2013 11:44:37 -0400 Subject: Cleaned up run_exps.py parameters. --- config/config.py | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'config') diff --git a/config/config.py b/config/config.py index 5e6f9e3..cfdfb05 100644 --- a/config/config.py +++ b/config/config.py @@ -14,12 +14,14 @@ BINS = {'rtspin' : get_executable_hint('rtspin', 'liblitmus'), # Optional, as sched_trace is not a publically supported repository 'st_show' : get_executable_hint('st_show', 'sched_trace', True)} -'''Names of output files.''' -FILES = {'ft_data' : 'ft.bin', - 'ft_matches' : r'(ft.*\.bin$)|(.*\.ft)', - 'linux_data' : 'trace.dat', - 'sched_data' : 'st-{}.bin', - 'log_data' : 'trace.slog'} +'''Names of data files.''' +FILES = {'params_file' : 'params.py', + 'sched_file' : 'sched.py', + 'ft_data' : 'ft.bin', + 'ft_matches' : r'(ft.*\.bin$)|(.*\.ft)', + 'linux_data' : 'trace.dat', + 'sched_data' : 'st-{}.bin', + 'log_data' : 'trace.slog'} '''Default parameter names in params.py.''' PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps @@ -35,9 +37,7 @@ PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps } '''Default values for program options.''' -DEFAULTS = {'params_file' : 'params.py', - 'sched_file' : 'sched.py', - 'duration' : 10, +DEFAULTS = {'duration' : 10, 'prog' : 'rtspin', 'out-gen' : 'exps', 'out-run' : 'run-data', -- cgit v1.2.2