search

money71 / sasp-f2012-jml-and-more

Automatically exported from code.google.com/p/sasp-f2012-jml-and-more
0 stars 0 forks source link

QRange.java - instead of doing string match - possible adjust the tree ? #14

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 

now checks if we some point in the tree have an i left alone

{{{
    5 != i
    i < 0
}}}

- it works currently with string match - probably leave it there :)

Original issue reported on code.google.com by pellekro...@gmail.com on 18 May 2012 at 10:01