Skip to content

Add termination measure to shStructDefault#495

Merged
jcp19 merged 2 commits intomasterfrom
fix-494
Jul 27, 2022
Merged

Add termination measure to shStructDefault#495
jcp19 merged 2 commits intomasterfrom
fix-494

Conversation

@jcp19
Copy link
Contributor

@jcp19 jcp19 commented Jul 27, 2022

Fixes #494

@jcp19 jcp19 requested review from ArquintL and Felalolf July 27, 2022 09:46
@jcp19 jcp19 merged commit 3619330 into master Jul 27, 2022
@jcp19 jcp19 deleted the fix-494 branch July 27, 2022 11:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Gobra does not consider shStructDefault to be terminating

2 participants