From 9c224b4f7b078f9522346031b3ed53d8e8d250ca Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Mon, 31 Dec 2018 17:21:19 -0700 Subject: [PATCH] lower length --- examples/Runlen.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/Runlen.cpp b/examples/Runlen.cpp index f9bfc78..836a1e3 100644 --- a/examples/Runlen.cpp +++ b/examples/Runlen.cpp @@ -34,7 +34,7 @@ char* decode(const char* output) { } // Can be higher if we're using fuzzing, not symbolic execution -#define MAX_STR_LEN 4 +#define MAX_STR_LEN 3 TEST(Runlength, EncodeDecode) { char* original = DeepState_CStrUpToLen(MAX_STR_LEN, "ab");