mpmc-queue: unify source file again
authorBrian Norris <banorris@uci.edu>
Thu, 8 Nov 2012 17:53:11 +0000 (09:53 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 8 Nov 2012 17:53:11 +0000 (09:53 -0800)
I really didn't want 3 copies of the same source file just to get around
some model-checker snapshotting limitations in argument parsing... So
now, it's a compile-time option to configure the number of reader/writer
threads.


No differences found