From 698f6194f9e5cc5905727c1798c36fede8c7ce8a Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 13 Aug 2013 15:42:47 -0700 Subject: [PATCH] main: suggest thrd_yield() for -y fairness --- main.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/main.cc b/main.cc index 8416a79..d489d96 100644 --- a/main.cc +++ b/main.cc @@ -63,7 +63,8 @@ static void print_usage(const char *program_name, struct model_params *params) " Default: %d\n" "-S, --fvslop=NUM Future value expiration sloppiness.\n" " Default: %u\n" -"-y, --yield Enable CHESS-like yield-based fairness support.\n" +"-y, --yield Enable CHESS-like yield-based fairness support\n" +" (requires thrd_yield() in test program).\n" " Default: %s\n" "-Y, --yieldblock Prohibit an execution from running a yield.\n" " Default: %s\n" -- 2.34.1