From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 14 Mar 2013 07:10:19 +0000 (-0700)
Subject: Fix all benchmarks to use yield
X-Git-Tag: oopsla2013-final~11
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9f2a28f12f61001be2bd5adc74964acf5e8e6721;hp=9f2a28f12f61001be2bd5adc74964acf5e8e6721;p=model-checker-benchmarks.git

Fix all benchmarks to use yield

All benchmarks now call thrd_yield when appropriate so that they terminate with the -y option.
---