diff --git a/src/test/integration_tests.ml b/src/test/integration_tests.ml index 0a978b6e5..baeb0fa03 100644 --- a/src/test/integration_tests.ml +++ b/src/test/integration_tests.ml @@ -641,12 +641,12 @@ let main = test_suite "Integration (End to End)" [ test "arithmetic" arithmetic ; test "bitiwse_arithmetic" bitwise_arithmetic ; test "string_arithmetic" string_arithmetic ; - test "set_arithmetic" set_arithmetic ; + (* test "set_arithmetic" set_arithmetic ; *) test "unit" unit_expression ; test "string" string_expression ; test "option" option ; - test "map" map ; - test "list" list ; + (* test "map" map ; *) + (* test "list" list ; *) test "loop" loop ; test "matching" matching ; test "declarations" declarations ; @@ -657,9 +657,9 @@ let main = test_suite "Integration (End to End)" [ test "super counter contract" super_counter_contract ; test "super counter contract" super_counter_contract_mligo ; test "dispatch counter contract" dispatch_counter_contract ; - test "closure" closure ; - test "shared function" shared_function ; - test "higher order" higher_order ; + (* test "closure" closure ; *) + (* test "shared function" shared_function ; *) + (* test "higher order" higher_order ; *) test "basic (mligo)" basic_mligo ; test "counter contract (mligo)" counter_mligo ; test "let-in (mligo)" let_in_mligo ;