From 4c7673560e034874903c6431981a9be29bf633ed Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 17 Sep 2018 13:27:56 -0700 Subject: [PATCH] Fix typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2d38959..70b5dca 100644 --- a/README.md +++ b/README.md @@ -161,7 +161,7 @@ deepstate-reduce ./TestFileSystem rmdirfail.test minrmdirfail.test ``` In many cases, this will result in finding a different failure or -crash that allow smaller test cases, so you can also provide a string +crash that allows smaller test cases, so you can also provide a string that controls the criteria for which test outputs are considered valid reductions (by default, the reducer looks for any test that fails or crashes). Only outputs containing the `--criteria` are considered to