From 828250584bd1f9f93739d7e56c5700fb6697779a Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Fri, 19 Jun 2020 15:13:47 +0200 Subject: [PATCH] [WP] fixes some typos into the doc dedicated to tests --- src/plugins/wp/tests/README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/plugins/wp/tests/README.md b/src/plugins/wp/tests/README.md index 8993d8dba42..483ae9f4c81 100644 --- a/src/plugins/wp/tests/README.md +++ b/src/plugins/wp/tests/README.md @@ -1,6 +1,6 @@ # Test Suites -Here is a short description of the WP tests suites: +Here is a short description of the WP test suites: - `tests/wp` tests dedicated to the VC generation engine and proof strategy - `tests/wp_tip` tests associated to the script engine @@ -20,7 +20,7 @@ Deprecated test suites that shall be moved around: # Test Configurations -There are two tests configurations: +There are two test configurations: - the default one requires _no_ prover execution; - the `qualif` configuration uses the `wp-cache` global cache, `Alt-Ergo` and `Coq`. @@ -43,7 +43,7 @@ recommanded to use them most of the time: - `make wp-qualif` re-runs qualif tests; no new cache entry is created, though. - `make wp-qualif-env` prints the environment variables for wp-qualif. - `make wp-qualif-update` re-runs and create missing cache entries. -- `make wp-qualif-upgrade` creates missing cache entries _and_ update tests scripts is necessary. +- `make wp-qualif-upgrade` creates missing cache entries _and_ updates test scripts if necessary. - `make wp-qualif-push` commits and pushes all new cache entries to the GitLab repository. - `make wp-qualif-status` displays a very short git status of your local wp-cache. -- GitLab