search

rudraksh125 / android-crawler

Automatically exported from code.google.com/p/android-crawler
0 stars 0 forks source link

No parameter to disable exploration by equivalence #40

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
By default, only states that are not equivalent to previous states are explored.

There isn't a parameter to disable this behaviour.

A workaround to this is to use a NullComparator.

Original issue reported on code.google.com by nofatclips on 15 Feb 2012 at 3:53

GoogleCodeExporter commented 9 years ago

Original comment by nofatclips on 16 Feb 2012 at 11:26

GoogleCodeExporter commented 9 years ago 
This issue was closed by revision r128.

Original comment by nofatclips on 16 Feb 2012 at 2:33