aboutsummaryrefslogtreecommitdiff
path: root/src/main.py
diff options
context:
space:
mode:
authorCharles Cabergs <me@cacharle.xyz>2020-10-08 09:05:33 +0200
committerCharles Cabergs <me@cacharle.xyz>2020-10-08 09:05:33 +0200
commitc48f9194ac7cd2a15d0f86d8d03b0a8d6001d387 (patch)
treec642233cbadf2e4fe2b84dee2a91a13bf189cb22 /src/main.py
parentc20cbfea9bb878fc88e76f0ba773ded5a7b149ca (diff)
downloadminishell_test-c48f9194ac7cd2a15d0f86d8d03b0a8d6001d387.tar.gz
minishell_test-c48f9194ac7cd2a15d0f86d8d03b0a8d6001d387.tar.bz2
minishell_test-c48f9194ac7cd2a15d0f86d8d03b0a8d6001d387.zip
Added test range selection for long valgrind tests
Diffstat (limited to 'src/main.py')
-rwxr-xr-xsrc/main.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main.py b/src/main.py
index 1bebb89..2b70393 100755
--- a/src/main.py
+++ b/src/main.py
@@ -64,6 +64,10 @@ def main():
config.BONUS = False
config.EXIT_FIRST = args.exit_first
config.CHECK_LEAKS = args.check_leaks
+ config.RANGE = args.range
+ config.SHOW_RANGE = args.show_range
+ if config.RANGE is not None:
+ config.SHOW_RANGE = True
Suite.setup(args.suites)
try: