Skip to content

Conversation

goodlyrottenapple
Copy link
Contributor

Fixes #3643

Increase the default SMT timeout limit to 125 and number of re-tries to 3

@goodlyrottenapple goodlyrottenapple changed the title Update SIncrease the defult SMT timeout/retry limits Increase the defult SMT timeout/retry limits Aug 23, 2023
@jberthold jberthold changed the title Increase the defult SMT timeout/retry limits Increase the default SMT timeout/retry limits Aug 24, 2023
@goodlyrottenapple goodlyrottenapple marked this pull request as ready for review August 24, 2023 08:21
@rv-jenkins rv-jenkins merged commit 1da6c43 into master Aug 24, 2023
@rv-jenkins rv-jenkins deleted the sam/smt-limit-increase branch August 24, 2023 09:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Increase default timeout for SMT queries
3 participants