diff options
Diffstat (limited to 'config/config.py')
-rw-r--r-- | config/config.py | 18 |
1 files changed, 9 insertions, 9 deletions
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'), | |||
14 | # Optional, as sched_trace is not a publically supported repository | 14 | # Optional, as sched_trace is not a publically supported repository |
15 | 'st_show' : get_executable_hint('st_show', 'sched_trace', True)} | 15 | 'st_show' : get_executable_hint('st_show', 'sched_trace', True)} |
16 | 16 | ||
17 | '''Names of output files.''' | 17 | '''Names of data files.''' |
18 | FILES = {'ft_data' : 'ft.bin', | 18 | FILES = {'params_file' : 'params.py', |
19 | 'ft_matches' : r'(ft.*\.bin$)|(.*\.ft)', | 19 | 'sched_file' : 'sched.py', |
20 | 'linux_data' : 'trace.dat', | 20 | 'ft_data' : 'ft.bin', |
21 | 'sched_data' : 'st-{}.bin', | 21 | 'ft_matches' : r'(ft.*\.bin$)|(.*\.ft)', |
22 | 'log_data' : 'trace.slog'} | 22 | 'linux_data' : 'trace.dat', |
23 | 'sched_data' : 'st-{}.bin', | ||
24 | 'log_data' : 'trace.slog'} | ||
23 | 25 | ||
24 | '''Default parameter names in params.py.''' | 26 | '''Default parameter names in params.py.''' |
25 | PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps | 27 | PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps |
@@ -35,9 +37,7 @@ PARAMS = {'sched' : 'scheduler', # Scheduler used by run_exps | |||
35 | } | 37 | } |
36 | 38 | ||
37 | '''Default values for program options.''' | 39 | '''Default values for program options.''' |
38 | DEFAULTS = {'params_file' : 'params.py', | 40 | DEFAULTS = {'duration' : 10, |
39 | 'sched_file' : 'sched.py', | ||
40 | 'duration' : 10, | ||
41 | 'prog' : 'rtspin', | 41 | 'prog' : 'rtspin', |
42 | 'out-gen' : 'exps', | 42 | 'out-gen' : 'exps', |
43 | 'out-run' : 'run-data', | 43 | 'out-run' : 'run-data', |