From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 9 Aug 2018 18:43:00 +0000 (-0700)
Subject: Fix documentation of regression tests (#2290)
X-Git-Tag: cvc5-1.0.0~4793
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5052848f548aefd50cca9550b750eb537eee258c;p=cvc5.git

Fix documentation of regression tests (#2290)
---

diff --git a/test/regress/README.md b/test/regress/README.md
index 772332c3e..e1ac79976 100644
--- a/test/regress/README.md
+++ b/test/regress/README.md
@@ -22,10 +22,10 @@ By default, each invocation of CVC4 is done with a 10 minute timeout. To use a
 different timeout, set the `TEST_TIMEOUT` environment variable:
 
 ```
-TEST_TIMEOUT=0.5s make regress0
+TEST_TIMEOUT=0.5 make regress0
 ```
 
-This runs regression tests from level 0 with a 0,5 second timeout.
+This runs regression tests from level 0 with a 0.5 second timeout.
 
 ## Adding New Regressions