From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1851) id 3E1813840C3B; Thu, 28 May 2020 12:41:08 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3E1813840C3B To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. 793ea4ab70b823bd823a2c7fb34b386d31ca3137 X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: 3f34db996fd1f62bdffacc37cfa5285026e69bfb X-Git-Newrev: 793ea4ab70b823bd823a2c7fb34b386d31ca3137 Message-Id: <20200528124108.3E1813840C3B@sourceware.org> Date: Thu, 28 May 2020 12:41:08 +0000 (GMT) From: Martin Liska X-BeenThere: gcc-cvs-wwwdocs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs-wwwdocs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 28 May 2020 12:41:08 -0000 This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gcc-wwwdocs". The branch, master has been updated via 793ea4ab70b823bd823a2c7fb34b386d31ca3137 (commit) from 3f34db996fd1f62bdffacc37cfa5285026e69bfb (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 793ea4ab70b823bd823a2c7fb34b386d31ca3137 Author: Martin Liska Date: Thu May 28 14:38:58 2020 +0200 Mention C-Vise and C-Reduce instead of Delta. diff --git a/htdocs/bugs/minimize.html b/htdocs/bugs/minimize.html index 6197169a..4503b73f 100644 --- a/htdocs/bugs/minimize.html +++ b/htdocs/bugs/minimize.html @@ -67,7 +67,7 @@ the bug. For this, either use the undo function of your editor, or use frequent backup files; alternatively, you can use #if 0 and #endif. The automatic and recommended way to reduce -a testcase is using the Delta tool.

+a testcase is using the C-Vise or the C-Reduce tool.

If you have access to the original sources, it is better to start with the original sources and when those cannot be reduced further, ----------------------------------------------------------------------- Summary of changes: htdocs/bugs/minimize.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- gcc-wwwdocs