Apply patch for #177 to add JPF example ConcurrentCount

[varad64]

No new tests added.

[cyrille-artho]

Actually, when reviewing this again, I can see that the program is not thread-safe, but the assertion is written incorrectly. The current setting does not terminate in a reasonable time using the standard search, and the program is poorly documented. Most documentation was given in PR #177 .
So I am not convinced that this example should be included in newer versions of JPF as of now.

[varad64]

Thanks for the feedback, @cyrille-artho.
In that case, I will close this PR, as it does not offer any value in the current state.
Will reopen if the above stated concerns are resolved.

Thanks!

[cyrille-artho]

Great, thanks.--Regards,Cyrille ArthoOn 17 Aug 2023, at 19:41, Varadraj Galgali ***@***.***> wrote: Thanks for the feedback, @cyrille-artho. In that case, I will close this PR, as it does not offer any value in the current state. Will reopen if the above stated concerns are resolved. Thanks! —Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you were mentioned.Message ID: ***@***.***>