From 8ffb4ae1274caefa1f9412dda8f34d715e6d0bf9 Mon Sep 17 00:00:00 2001 From: Dmitry Bogatov Date: Mon, 23 Sep 2019 20:47:05 +0000 Subject: [PATCH] Add proptest seed that reveals strencoding bug --- proptest-regressions/dc_strencode.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/proptest-regressions/dc_strencode.txt b/proptest-regressions/dc_strencode.txt index 3ef09f145..9efcbce55 100644 --- a/proptest-regressions/dc_strencode.txt +++ b/proptest-regressions/dc_strencode.txt @@ -5,3 +5,4 @@ # It is recommended to check this file in to source control so that # everyone who runs the test benefits from these saved cases. cc 679506fe9ac59df773f8cfa800fdab5f0a32fe49d2ab370394000a1aa5bc2a72 # shrinks to buf = "%0A" +cc e34960438edb2426904b44fb4215154e7e2880f2fd1c3183b98bfcc76fec4882 # shrinks to input = " 0"