--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on July 2009 ---
On Christoph Weber's request I forward the following mail: ------ Hello, I am experimenting to prove an algorithm similar to binary_search (lower_bound). Currently I would like to "compare" a Variable to itself in the state of the previous iteration. I would like to know, if such a Label would be of any interest to be implemented or if the concept of adressing the variable in the previous iteration is flawed and should not longer be regarded. I hope I made my question clear. Sincerely Christoph Weber