Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

ConcurrentModificationException after upgrade to ProB 2.0 version 3.2.2

Description

After upgrading from ProB 2.0 - 3.2.1 to 3.2.2 the following code began throwing java.util.ConcurrentModificationException when unregistering formulas.

this.stateSpace.getSubscribedFormulas().forEach(it -> stateSpace.unsubscribe(this.stateSpace, it));

See e0a98c2 in plues

Environment

None

Gliffy Diagrams

Activity

Show:
Fixed

Details

Assignee

Reporter

Priority

Created August 2, 2017 at 10:04 AM
Updated November 17, 2017 at 9:08 AM
Resolved November 17, 2017 at 9:08 AM
Configure