fixup! Use sparse arrays in get_array

romainbrenguier · romainbrenguier · commit 991d4145f206 · 2018-04-09T15:53:48.000+01:00
diff --git a/src/solvers/refinement/string_refinement.cpp b/src/solvers/refinement/string_refinement.cpp
@@ -941,7 +941,7 @@ static optionalt<exprt> get_array(
     msg << "consider reducing string-max-input-length so that no string "
         << "exceeds " << MAX_CONCRETE_STRING_SIZE << " in length and make sure"
         << " all functions returning strings are available in the classpath";
-    std::runtime_error(msg.str());
+    throw string_refinement_invariantt(msg.str());
   }
 
   if(

Original file line number	Diff line number	Diff line change
`@@ -941,7 +941,7 @@ static optionalt<exprt> get_array(`
`941`	`941`	`msg << "consider reducing string-max-input-length so that no string "`
`942`	`942`	`<< "exceeds " << MAX_CONCRETE_STRING_SIZE << " in length and make sure"`
`943`	`943`	`<< " all functions returning strings are available in the classpath";`
`944`		`- std::runtime_error(msg.str());`
	`944`	`+ throw string_refinement_invariantt(msg.str());`
`945`	`945`	`}`
`946`	`946`
`947`	`947`	`if(`