Change the time limit to five minutes for now, until the CI situation is resolved.

This commit is contained in:
Marc Brinkmann 2018-09-17 16:48:53 +02:00 committed by Andreas Fackler
parent 900ba76e90
commit f38b24de2d
1 changed files with 1 additions and 1 deletions

View File

@ -31,7 +31,7 @@ pub use self::adversary::Adversary;
pub use self::err::CrankError;
/// The time limit for any network if none was specified.
const DEFAULT_TIME_LIMIT: Option<time::Duration> = Some(time::Duration::from_secs(60 * 20));
const DEFAULT_TIME_LIMIT: Option<time::Duration> = Some(time::Duration::from_secs(60 * 5));
/// Helper macro for tracing.
///