From: Julian Seward <jseward@acm.org>
Date: Sun, 2 Aug 2009 10:16:03 +0000 (+0000)
Subject: Change name of H1 history flag from --history-level=partial (which I can
X-Git-Tag: svn/VALGRIND_3_5_0~162
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=f4c28986767136acae43c5b5f1576b152356426e;p=thirdparty%2Fvalgrind.git

Change name of H1 history flag from --history-level=partial (which I can
never remember) to --history-level=approx.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10688
---

diff --git a/helgrind/hg_basics.h b/helgrind/hg_basics.h
index d87a3bdbf0..9580f13fb7 100644
--- a/helgrind/hg_basics.h
+++ b/helgrind/hg_basics.h
@@ -78,7 +78,7 @@ extern Bool HG_(clo_cmp_race_err_addrs);
    0: "none": don't collect any history.  Fastest, but means we can
       only show one of the two stacks in a race.
 
-   1: "partial": collect one stack trace per (notional) segment, that
+   1: "approx": collect one stack trace per (notional) segment, that
       is, collect a stack trace for a thread every time its vector
       clock changes.  This faciliates showing the bounds of the
       conflicting segment(s), with relatively small overhead.
diff --git a/helgrind/hg_main.c b/helgrind/hg_main.c
index f99d38abad..f5495313a3 100644
--- a/helgrind/hg_main.c
+++ b/helgrind/hg_main.c
@@ -4169,7 +4169,7 @@ static Bool hg_process_cmd_line_option ( Char* arg )
 
    else if VG_XACT_CLO(arg, "--history-level=none",
                             HG_(clo_history_level), 0);
-   else if VG_XACT_CLO(arg, "--history-level=partial",
+   else if VG_XACT_CLO(arg, "--history-level=approx",
                             HG_(clo_history_level), 1);
    else if VG_XACT_CLO(arg, "--history-level=full",
                             HG_(clo_history_level), 2);
@@ -4211,9 +4211,9 @@ static void hg_print_usage ( void )
    VG_(printf)(
 "    --track-lockorders=no|yes show lock ordering errors? [yes]\n"
 "    --history-level=none|partial|full [full]\n"
-"       full:    show both stack traces for a data race (can be very slow)\n"
-"       partial: full trace for one thread, approx for the other (faster)\n"
-"       none:    only show trace for one thread in a race (fastest)\n"
+"       full:   show both stack traces for a data race (can be very slow)\n"
+"       approx: full trace for one thread, approx for the other (faster)\n"
+"       none:   only show trace for one thread in a race (fastest)\n"
 "    --conflict-cache-size=N   size of 'full' history cache [1000000]\n"
    );
    VG_(replacement_malloc_print_usage)();