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 d87a3bdbf05a6e075c8c76860bda7090299ae775..9580f13fb76ce2d6c53c58ea2fb4fd7c1d8b9c97 100644 (file)
--- 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 f99d38abad4b878082bf539bd9e9b11368221d3c..f5495313a3a690e13d8e04f90b4e00376bfd575a 100644 (file)
--- 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)();