fixup! [move-prover] model type_name::get in stdlib

awelc · Jan 19, 2023 · 867b0bc · 867b0bc
1 parent 7e060fd
commit 867b0bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/language/move-prover/tests/sources/functional/nonlinear_arithm.move b/language/move-prover/tests/sources/functional/nonlinear_arithm.move
@@ -1,6 +1,6 @@
 // exclude_for: simplify
 // exclude_for: cvc5
-// simplify and cvc5 are exculded due to timeout
+// flag: --timeout=160
 module 0x42::TestNonlinearArithmetic {
 
     spec module {