Error in gov.nasa.jpf.symbc.numeric.solvers.ProblemZ3 class

[srgiri]

Hi, I am getting one error:

java.lang.NumberFormatException: For input string: "0.0000000000?"

when using float and double as method arguments.

I observed if I modify the line# 1120 in ProblemZ3 class form

return Double.parseDouble(strResult); 

to

 return Double.parseDouble(strResult.replace("?", "").trim());

then it works properly. Please check this issue.

Regards, S R Giri

[corinus]

yes you are right. I will correct. Corina

[corinus]

This error has been fixed. Please check. Thank you, Corina

[srgiri]

Thank you.