diff options
Diffstat (limited to 'func/args_handler.py')
| -rw-r--r-- | func/args_handler.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/func/args_handler.py b/func/args_handler.py index 50d803eb..e27d37e7 100644 --- a/func/args_handler.py +++ b/func/args_handler.py @@ -38,6 +38,10 @@ def check_lab_name(lab_name): return True if os.path.isdir('test_cases/' + lab_name) else False +def check_benchmark_name(lab, file, benchmark): + return os.path.isfile('test_cases/' + lab + '/' + file + '/' + benchmark) + + def _get_f_name(test_case_path): return test_case_path.split('/')[-1] |