Open nh13 opened 8 years ago
I added a call to super.contains(index)
in the IndexSet.remove
method prior to the call to super.remove
, such that if the index was not contained an exception would be thrown. And an exception was thrown. So we are calling IndexSet.remove
passing an index that is not in the set.
I tried both master and the additions on #68. In the latter case, no Exception is thrown inside each
execute
statement in theIndexSet.remove
method, but we get:This does not happen each time I run the tool, so it is obviously there's a concurrency issue.