From bba3c5b09f8efcf90d40b810d4e2004f09e4231e Mon Sep 17 00:00:00 2001 From: Iavor Diatchki Date: Fri, 13 Dec 2024 14:58:25 -0800 Subject: [PATCH] Tweak README again --- preprocessor/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/preprocessor/README.md b/preprocessor/README.md index 2922853..9b3f75c 100644 --- a/preprocessor/README.md +++ b/preprocessor/README.md @@ -123,8 +123,8 @@ the test variations in a file: * `run-mutant` can run a single mutation. - * `run-prop-tests` test all "normal" functions (i.e., not unit tests or - mutants) + * `run-prop-tests` test all "normal" functions (i.e., not unit tests or + mutants)