Fork/join incrementing (succeeding)
Simple fork/join program where the forked thread increments a shared counter by one. We verify that after joining the threads the shared value has indeed been increased by one.
|Path to example file||threads/VerifiedMain.java|
|Lines of code||14 lines (comments not included)|
|Lines of specification||5 lines (35.71% of the total)|
Note, verification may take a while and has a time-out of 20 seconds.