X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=README;h=f5ed857bca750a1785bb2b821264279c5d8f2f42;hb=db2c4ca161b4cba9e453431517af86798c0e9bdb;hp=12a02ff0add089fc1234ba78a6f1e48ef971a911;hpb=b1ea1bc4119e04664eb853ca4db9971abc2b43af;p=c11tester.git diff --git a/README b/README index 12a02ff0..f5ed857b 100644 --- a/README +++ b/README @@ -46,6 +46,8 @@ Options: priority for execution. Default: 0 -e Enabled count. Default: 1 -b Upper length bound. Default: 0 +-v Print verbose execution information. +-y CHESS like yield based fairness. Default: 0 -- Program arguments follow.