From 1df1d28d6100a2306a8cd5ed1b4445c60512d9b2 Mon Sep 17 00:00:00 2001 From: Yann Bolliger Date: Thu, 22 Jul 2021 16:50:20 +0200 Subject: [PATCH] Disable two tests that time out due to Stainless bug --- stainless_frontend/tests/extraction_tests.rs | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/stainless_frontend/tests/extraction_tests.rs b/stainless_frontend/tests/extraction_tests.rs index 7bc08a4a..eddde9c8 100644 --- 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,