From cc8acc2b92bcdacc5c7b8ea7a91092034f5e8f51 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 3 Sep 2018 10:59:16 -0700 Subject: [PATCH] fix output --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index f6b323c..389553f 100644 --- a/README.md +++ b/README.md @@ -171,7 +171,8 @@ deepstate-reduce ./TestFileSystem rmdirfail.test minrmdirfail.test --criteria "F ``` The output will look something like: -```shell + +``` ORIGINAL TEST HAS 119 BYTES LAST BYTE READ IS 123 ONEOF REMOVAL REDUCED TEST TO 103 BYTES