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 3da1285..1235307 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/27 11:51:41 by charles ### ########.fr # +# Updated: 2020/09/27 18:00:53 by charles ### ########.fr # # # # ############################################################################ # @@ -23,6 +23,12 @@ BUILD_BEFORE = True # `{path}` is replaced by the philosophers directory (e.g `../philo_one` `../philo_two`) BUILD_CMD = "make --no-print-directory -C {path}" +# Timeout for non infinite test +TIMEOUT = 2 + +# Timeout for infinite test +INFINITE_TIMEOUT = 1 + ################################################################################ # Do not edit ################################################################################ |