You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue was created at git.key-project.org where the discussions are preserved.
Description
When pressing ctrl-w while in automatic proof mode (that is sometimes possible), concurrency-related exception
may be raised
Reproducible
random
Steps to reproduce
Run automatic proof and abondon it while running.
I managed to get into this by accidentally pressing STOP twice (thus restarting) and then abandoning.
The system had some lack at the time, it may be that the order of events was hence 'unusual'.
Commit: 9a28833079d3cbcadeedb948cd0d4507c12ba6f7
Component: /label ~GUI
Information:
created_at: 2019-11-08T10:50:43.572Z
updated_at: 2019-11-08T10:50:43.572Z
closed_at: None (closed_by: )
milestone:
user_notes_count: 0
The text was updated successfully, but these errors were encountered:
wadoon
changed the title
<placeholder>
Abandoning while proving raises exception
Dec 24, 2022
This issue was created at git.key-project.org where the discussions are preserved.
Description
When pressing
ctrl-w
while in automatic proof mode (that is sometimes possible), concurrency-related exceptionmay be raised
Reproducible
random
Steps to reproduce
Run automatic proof and abondon it while running.
I managed to get into this by accidentally pressing STOP twice (thus restarting) and then abandoning.
The system had some lack at the time, it may be that the order of events was hence 'unusual'.
Commit: 9a28833079d3cbcadeedb948cd0d4507c12ba6f7
Component: /label ~GUI
Information:
The text was updated successfully, but these errors were encountered: