Correct long int overflow in decimal const parsing in btor2 frontend

aman-goel · Sep 9, 2024 · 43ab77e · 43ab77e
1 parent c586805
commit 43ab77e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/vwn/btor2_frontend.cpp b/src/vwn/btor2_frontend.cpp
@@ -514,7 +514,7 @@ void Btor2Frontend::get_node(NODE_INFO& info, InstL& args) {
 
 		mpz_t mpz_mask;
 		mpz_init(mpz_mask);
-		mpz_set_si(mpz_mask, strtol(snum.c_str(), NULL, 10));
+		mpz_set_str(mpz_mask, snum.c_str(), 10);
 		mpz_class t_mpzc(mpz_mask);
 		string str_num = t_mpzc.get_str(2);