In PR#11384, there is currently a global timeout which can be seen in third_party/move/move-prover/tests/sources/functional/mut_ref.v2_exp. This is hard to sync with CI tests, as timeout
is doubled if MVP_TEST_ON_CI is set. There seems to be some intended mechanism to mask the
actual timeout from the prover tests in boogie_wrapper.rs:769 but it does nothing.
What's funny is that the timeout is only adjusted for the error message, not for actually timing anything.
🐛 Bug
In PR#11384, there is currently a global timeout which can be seen in third_party/move/move-prover/tests/sources/functional/mut_ref.v2_exp. This is hard to sync with CI tests, as timeout is doubled if
MVP_TEST_ON_CIis set. There seems to be some intended mechanism to mask the actual timeout from the prover tests inboogie_wrapper.rs:769but it does nothing.What's funny is that the timeout is only adjusted for the error message, not for actually timing anything.