Merge pull request #351 from Matistjati/deterministic-input-fuzzing-2

More deterministic input fuzzing

Author: gkreitz

problemtools/verifyproblem.py

@@ -40,6 +40,8 @@
 from typing import Any, Callable, ClassVar, Literal, Pattern, Match, ParamSpec, TypeVar
 from pydantic import ValidationError
 
+random.seed(42)
+
 log = logging.getLogger(__name__)
 
 Verdict = Literal['AC', 'TLE', 'OLE', 'MLE', 'RTE', 'WA', 'PAC', 'JE']
@@ -1017,11 +1019,11 @@ def __str__(self) -> str:
 # Junk data. The validator should reject these cases
 _JUNK_CASES = [
     ('an empty file', b''),
-    ('a binary file with random bytes', bytearray(random.Random(0).randbytes(1024))),
+    ('a binary file with random bytes', bytearray(random.Random(42).randbytes(1024))),
     ('a text file with the ASCII characters 32 up to 127', bytearray(x for x in range(32, 127))),
     (
         'a random text file with printable ASCII characters',
-        bytearray(random.choice(string.printable.encode('utf8')) for _ in range(200)),
+        (lambda rng: bytearray(rng.choice(string.printable.encode('utf8')) for _ in range(200)))(random.Random(42)),
     ),
 ]
 
@@ -1058,11 +1060,9 @@ def _build_junk_modifier(
 
 
 _JUNK_MODIFICATIONS = [
-    _build_junk_modifier(
-        'spaces added where there already is whitespace', r'\s', lambda m: m.group(0) + ' ' * random.randint(1, 5)
-    ),
-    _build_junk_modifier('spaces added to the end of a line', r'\n', lambda m: m.group(0) + ' ' * random.randint(1, 5)),
-    _build_junk_modifier('newlines added where there already are newlines', '\n', lambda m: '\n' * random.randint(2, 5)),
+    _build_junk_modifier('spaces added where there already is whitespace', r'\s', lambda m: m.group(0) + ' '),
+    _build_junk_modifier('spaces added to the end of a line', r'\n', lambda m: m.group(0) + ' '),
+    _build_junk_modifier('newlines added where there already are newlines', '\n', lambda m: '\n\n'),
     _build_junk_modifier('leading zeros added to integers', r'(^|[^.]\b)([0-9]+)\b', r'\g<1>0000000000\g<2>'),
     _build_junk_modifier('trailing zeros added to real number decimal portion', r'\.[0-9]+\b', r'\g<0>0000000000'),
     (