Boundedness check fails

[Jiri Srba]

Open the attached net and open the query and verify boundedness. The GUI raises and exception:

Exception in thread "AWT-EventQueue-0" java.util.ConcurrentModificationException

This is a problem both in the cpn-branch as well as in 3.9 and should be fixed for boths.

[Kenneth Yrke Jørgensen (yrke)]

This error is often seen if you are deleting/adding to a list you are iterating over.

[Kenneth Yrke Jørgensen (yrke)]

I dont seems to be able to reproduce, but if anyone can please attach a full stack-trace :)

[Jiri Srba (srba)]

Running: verifypn-osx64-cpn --k-bound 103 --search-strategy BestFS --reduction 0 --ctl-algorithm czero --xml-queries 1 --query-reduction 0 --disable-partial-order /var/folders/b7/7rm7zvtx2ln9jsxtstxr7y0r0000gn/T/verifyta11521608972266007038.xml /var/folders/b7/7rm7zvtx2ln9jsxtstxr7y0r0000gn/T/verifyta1112692091865570700.xml
Exception in thread "AWT-EventQueue-0" java.util.ConcurrentModificationException
        at java.base/java.util.HashMap$HashIterator.nextNode(HashMap.java:1597)
        at java.base/java.util.HashMap$KeyIterator.next(HashMap.java:1620)
        at net.tapaal.gui.petrinet.verification.KBoundAnalyzer.mergeNetComponents(KBoundAnalyzer.java:132)
        at net.tapaal.gui.petrinet.verification.KBoundAnalyzer.getFactors(KBoundAnalyzer.java:108)
        at net.tapaal.gui.petrinet.verification.KBoundAnalyzer.getPNBoundednessQuery(KBoundAnalyzer.java:98)
        at net.tapaal.gui.petrinet.verification.KBoundAnalyzer.analyze(KBoundAnalyzer.java:63)
        at net.tapaal.gui.petrinet.verification.KBoundAnalyzer.analyze(KBoundAnalyzer.java:57)
        at net.tapaal.gui.petrinet.verification.Verifier.analyzeKBound(Verifier.java:98)
        at net.tapaal.gui.petrinet.dialog.QueryDialog.lambda$initBoundednessCheckPanel$2(QueryDialog.java:1977)
        at java.desktop/javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:1972)
        at java.desktop/javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2313)
        at java.desktop/javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:405)
        at java.desktop/javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:262)
        at java.desktop/javax.swing.plaf.basic.BasicButtonListener.mouseReleased(BasicButtonListener.java:279)
        at java.desktop/java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:297)
        at java.desktop/java.awt.Component.processMouseEvent(Component.java:6626)
        at java.desktop/javax.swing.JComponent.processMouseEvent(JComponent.java:3389)
        at java.desktop/java.awt.Component.processEvent(Component.java:6391)
        at java.desktop/java.awt.Container.processEvent(Container.java:2266)
        at java.desktop/java.awt.Component.dispatchEventImpl(Component.java:5001)
        at java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2324)
        at java.desktop/java.awt.Component.dispatchEvent(Component.java:4833)
        at java.desktop/java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4948)
        at java.desktop/java.awt.LightweightDispatcher.processMouseEvent(Container.java:4575)
        at java.desktop/java.awt.LightweightDispatcher.dispatchEvent(Container.java:4516)
        at java.desktop/java.awt.Container.dispatchEventImpl(Container.java:2310)
        at java.desktop/java.awt.Window.dispatchEventImpl(Window.java:2780)
        at java.desktop/java.awt.Component.dispatchEvent(Component.java:4833)
        at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:773)
        at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:722)
        at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:716)
        at java.b...

[Kenneth Yrke Jørgensen (yrke)]

Pushed fix for issue cpn: https://github.com/TAPAAL/tapaal-gui/pull/56 and https://code.launchpad.net/~tapaal-contributor/tapaal/fix1987383

[Kenneth Yrke Jørgensen (yrke)]

I can see I used the wrong bug number, for the orignal issue insted of this. Not that it matters to much

[Jiri Srba (srba)]

This is still a problem in 3.9 series