Merge pull request #8086 from diffblue/external_sat_llabs

kroening · web-flow · commit 9061084e0c70 · 2023-11-27T21:56:37.000Z
fix conversions between long and long long
diff --git a/src/solvers/sat/external_sat.cpp b/src/solvers/sat/external_sat.cpp
@@ -119,8 +119,8 @@ external_satt::resultt external_satt::parse_result(std::string solver_output)
       {
         try
         {
-          signed long long as_long = std::stol(assignment_string);
-          size_t index = std::labs(as_long);
+          signed long long as_long = std::stoll(assignment_string);
+          size_t index = std::llabs(as_long);
 
           if(index >= number_of_variables)
           {

Original file line number	Diff line number	Diff line change
`@@ -119,8 +119,8 @@ external_satt::resultt external_satt::parse_result(std::string solver_output)`
`119`	`119`	`{`
`120`	`120`	`try`
`121`	`121`	`{`
`122`		`- signed long long as_long = std::stol(assignment_string);`
`123`		`- size_t index = std::labs(as_long);`
	`122`	`+ signed long long as_long = std::stoll(assignment_string);`
	`123`	`+ size_t index = std::llabs(as_long);`
`124`	`124`
`125`	`125`	`if(index >= number_of_variables)`
`126`	`126`	`{`