team-worthwhile/worthwhile — Issue #112: ConcurrentModificationException in TimeoutProverCaller::runCleanupTasks
Author: jspam
Created: 2012-03-03 19:16:19+00:00
State: open
Labels: prover

When proving big programs such as `heap.ww`, occasionally I will encounter concurrent modification exceptions such as this:

```
Exception in thread "Thread-2657" java.util.ConcurrentModificationException
at java.util.HashMap$HashIterator.nextEntry(HashMap.java:810)
at java.util.HashMap$KeyIterator.next(HashMap.java:845)
at edu.kit.iti.formal.pse.worthwhile.prover.TimeoutProverCaller.runCleanupTasks(TimeoutProverCaller.java:52)
at edu.kit.iti.formal.pse.worthwhile.prover.TimeoutProverCaller.access$0(TimeoutProverCaller.java:51)
at edu.kit.iti.formal.pse.worthwhile.prover.TimeoutProverCaller$1.run(TimeoutProverCaller.java:77)
```