From 122f5a7b574571dc10788fae6ada5dc4e5aeedb2 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Mon, 31 Dec 2018 15:43:18 -0700
Subject: [PATCH] smaller limit, concretize

---
 examples/Runlen.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/examples/Runlen.cpp b/examples/Runlen.cpp
index 049fcb4..0c16def 100644
--- a/examples/Runlen.cpp
+++ b/examples/Runlen.cpp
@@ -34,10 +34,11 @@ char* decode(const char* output) {
 }
 
 // Can be higher if we're using fuzzing, not symbolic execution
-#define MAX_STR_LEN 7 
+#define MAX_STR_LEN 4
 
 TEST(Runlength, EncodeDecode) {
   char* original = DeepState_CStrUpToLen(MAX_STR_LEN, "ab");
+  DeepState_ConcretizeCStr(original);
   LOG(TRACE) << "original = `" << original << "`";
   char* encoded = encode(original);
   char* roundtrip = decode(encoded);