Subject Name: reorder
Souce Code Language: Java
Number of Versions: 1
Number of Variants: 1
   - orig
Error expected:
   orig: Atomicity (throws RuntimeException "bug found")
Non-determinisitc: yes

***orig***
LOC: 44 (noncomment Java source code)
Classes: 4
Methods: 8
Fields: 6
Statements: 29
wait() call: 0
notifyAll() call: 0
Sync blocks: 0
Thread start() calls: 2
New expressions: 7

The parameters to the program are: number of Set threads (iSet=2) and
the number of Check threads (iCheck=2). NOTE: either both arguments or 
neither argument must be specified; if no arguments are specified, the 
default values listed will be used.

The reorder program is based on the bug patterns reported in:

E. Farchi, Y. Nir, and S. Ur. "Concurrent bug patterns and how to test them."
In Proceedings of the 9th International Conference on Computer Aided 
Verification, June 1997.
