Skip to content

Commit

Permalink
Increase timeout duration while printing memory stats
Browse files Browse the repository at this point in the history
  • Loading branch information
JonasAlaif committed Dec 20, 2023
1 parent b6b47e1 commit 0867ab7
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion smt-log-parser/tests/parse_logs.rs
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,8 @@ fn parse_all_logs() {
// Set limit if supported
let _ = rlimit::Resource::RSS.set(metadata.len(), rlimit::Resource::RSS.get_hard().unwrap_or(rlimit::INFINITY)).unwrap();
// Gives 50 millis per MB (or 50 secs per GB)
let to = Duration::from_millis(500 + (metadata.len() / 20_000));
// let to = Duration::from_millis(500 + (metadata.len() / 20_000));
let to = Duration::from_secs(600);
println!("Parsing {} with timeout of {to:?}", filename.display());
let (timeout, _result) = parser.process_all_timeout(to);
assert!(timeout.is_none());
Expand Down

0 comments on commit 0867ab7

Please sign in to comment.