Subject Name: loseNotify
Souce Code Language: Java
Number of Versions: 1
Number of Variants: 1
   - orig
Error expected:
   orig: Deadlock
Non-determinisitc: yes

***orig***
LOC: 41 (noncomment Java source code)
Classes: 4
Methods: 8
Fields: 8
Statements: 33
wait() call: 1
notifyAll() call: 1
Sync blocks: 4
Thread start() calls: 2
New expressions: 4

The parameters to the program are: number of wait threads (iWait=1), number of
notify threads (iNotify=1), and number of iterations (iterations=12). NOTE: 
all of the arguments must be specified although default values are specified 
in the Main class.

The loseNotify 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.
