Increase Coq 8.11 timeout to 16 seconds

codewars / codewars-runner-cli

Old CodeRunner project. See https://github.com/codewars/runner instead.

GNU Affero General Public License v3.0

402 stars 141 forks source link

Increase Coq 8.11 timeout to 16 seconds #800

Closed monadius closed 4 years ago

monadius commented 4 years ago

When I updated this kata, I observed that it times out frequently with Coq 8.11. The new version of Coq takes more time to analyze dependencies when checking assumptions (it happens with the plugin CWAssert Assumes and with Print Assumptions).

kazk commented 4 years ago

Deployed the change