See the code for sfbug414/Sqrt.java - The specs for this are not yet correct. But in particular, it appears the solver has difficulty with even proving x + 1 > x. What is wrong?
--- old+++ new@@ -1 +1,3 @@See the code for sfbug414/Sqrt.java - The specs for this are not yet correct. But in particular, it appears the solver has difficulty with even proving x + 1 > x. What is wrong?
++See sfbug411/Sqrt.java as an example
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
--- old+++ new@@ -1,3 +1,3 @@See the code for sfbug414/Sqrt.java - The specs for this are not yet correct. But in particular, it appears the solver has difficulty with even proving x + 1 > x. What is wrong?
-See sfbug411/Sqrt.java as an example+See sfbug414/Sqrt.java as an example
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
--- old+++ new@@ -1,3 +1 @@See the code for sfbug414/Sqrt.java - The specs for this are not yet correct. But in particular, it appears the solver has difficulty with even proving x + 1 > x. What is wrong?
--See sfbug414/Sqrt.java as an example
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Diff:
Diff:
Diff: