Disable two tests that time out due to Stainless bug

epfl-lara · Jul 22, 2021 · 1df1d28 · 1df1d28
1 parent 99840ff
commit 1df1d28
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/stainless_frontend/tests/extraction_tests.rs b/stainless_frontend/tests/extraction_tests.rs
@@ -149,12 +149,16 @@ define_tests!(
   pass: return_stmt,
   pass: set_ops,
   pass: spec_on_trait_impl,
-  pass: trait_bounds,
+  // FIXME: This test times out because of https://github.com/epfl-lara/stainless/issues/1093.
+  //   Re-enable the test as soon as the issue is fixed in Stainless.
+  // pass: trait_bounds,
   pass: struct_update,
   pass: tuple_match,
   pass: tuple_result,
   pass: tuples,
-  pass: type_class,
+  // FIXME: This test times out because of https://github.com/epfl-lara/stainless/issues/1093.
+  //   Re-enable the test as soon as the issue is fixed in Stainless.
+  // pass: type_class,
   pass: type_class_multi_lookup,
   pass: type_class_specs,
   pass: type_class_without_evidence,