increase Pump len

This commit is contained in:
Alex Groce
2018-12-31 18:09:36 -07:00
parent 9c224b4f7b
commit 1fb617fe61

View File

@@ -481,7 +481,7 @@ inline static void DeepState_AssignCStr(char* str, size_t len,
inline static void DeepState_AssignCStrUpToLen(char* str, size_t max_len,
const char* allowed = 0) {
uint32_t len = DeepState_UIntInRange(0, max_len);
DeepState_AssignCStr_C(str, Pump(len, max_len), allowed);
DeepState_AssignCStr_C(str, Pump(len, max_len+1), allowed);
}
/* Like DeepState_CStr_C, but fills in a null allowed. */
@@ -492,7 +492,7 @@ inline static char* DeepState_CStr(size_t len, const char* allowed = 0) {
/* Like DeepState_CStr, but Pumps through possible string sizes. */
inline static char* DeepState_CStrUpToLen(size_t max_len, const char* allowed = 0) {
uint32_t len = DeepState_UIntInRange(0, max_len);
return DeepState_CStr_C(Pump(len, max_len), allowed);
return DeepState_CStr_C(Pump(len, max_len+1), allowed);
}
inline static void DeepState_SymbolizeCStr_C(char *begin, const char* allowed = 0) {