diff options
author | Tom Smeding <tom.smeding@gmail.com> | 2018-09-18 00:35:55 +0200 |
---|---|---|
committer | Tom Smeding <tom.smeding@gmail.com> | 2018-09-18 00:35:55 +0200 |
commit | 0f143cc3fa9f7138d9ae0d4c13095930df372880 (patch) | |
tree | fc23893095bd8736ab50f28b1d3fade6bdd53ba3 | |
parent | 0624562e3e1ae24fd1df66e3e38afca7b0f1c70f (diff) |
Set time limit to 5000 for codecup2018
-rw-r--r-- | params.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ const char *const gamelogdir = "comp_gamelogs"; const int num_threads = 2; const int num_matches = 5; -const int timeout_msec = 60000; +const int timeout_msec = 5000; const bool multilog_fancy = true; const bool referee_verbose = false; |