diff options
Diffstat (limited to 'src/config.py')
| -rw-r--r-- | src/config.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/config.py b/src/config.py index bbc9d25..b8811f3 100644 --- a/src/config.py +++ b/src/config.py @@ -6,7 +6,7 @@ # By: charles <me@cacharle.xyz> +#+ +:+ +#+ # # +#+#+#+#+#+ +#+ # # Created: 2020/09/27 11:05:38 by charles #+# #+# # -# Updated: 2020/09/28 16:07:03 by cacharle ### ########.fr # +# Updated: 2020/09/29 10:55:23 by cacharle ### ########.fr # # # # ############################################################################ # @@ -32,6 +32,12 @@ TIMEOUT_ERROR = 0.2 # Timeout for infinite test INFINITE_WAIT_TIME = 0.2 +# Destination of the full summary of failed tests +RESULT_FILE = "result.log" + +# Pager command +PAGER_CMD = ["less"] + ################################################################################ # Do not edit ################################################################################ |