From 5f93af3e345803596fd75e3915a2f3472df86775 Mon Sep 17 00:00:00 2001 From: matistjati Date: Sat, 16 Aug 2025 19:28:19 +0200 Subject: [PATCH] Fuzz input validators for spaces at end of lines --- problemtools/verifyproblem.py | 1 + 1 file changed, 1 insertion(+) diff --git a/problemtools/verifyproblem.py b/problemtools/verifyproblem.py index 726e0bb2..a15d913b 100644 --- a/problemtools/verifyproblem.py +++ b/problemtools/verifyproblem.py @@ -975,6 +975,7 @@ def _build_junk_modifier( _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('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'),