[test] Use config.args.add_if_not_set instead of manual mark_set

Author: mpsijm

bin/config.py

@@ -278,9 +278,6 @@ def add_if_not_set(self, args: "ARGS") -> None:
                 setattr(self, key, getattr(args, key))
                 self._set.add(key)
 
-    def mark_set(self, *keys: str) -> None:
-        self._set.update(list(keys))
-
     def copy(self) -> "ARGS":
         res = copy.copy(self)
         res._set = copy.copy(res._set)

test/test_default_output_validator.py

@@ -15,9 +15,7 @@
 # Note: the python version isn't tested by default, because it's quite slow.
 DEFAULT_OUTPUT_VALIDATOR = ["default_output_validator.cpp"]
 
-config.args.verbose = 2
-config.args.error = True
-config.args.mark_set("verbose", "error")
+config.args.add_if_not_set(config.ARGS("test_default_output_validator.py", verbose=2, error=True))
 
 
 # return list of (flags, ans, out, expected result)

test/test_problem_yaml.py

@@ -9,9 +9,7 @@
 
 RUN_DIR = Path.cwd().absolute()
 
-config.args.verbose = 2
-config.args.error = True
-config.args.mark_set("verbose", "error")
+config.args.add_if_not_set(config.ARGS("test_problem_yaml.py", verbose=2, error=True))
 
 
 # return list of {yaml: {...}, ...} documents