diff --git a/tools/hermes/tests/fixtures/edge_cases_modules/test_6_1_external_crate/hermes.toml b/tools/hermes/tests/fixtures/edge_cases_modules/test_6_1_external_crate/hermes.toml index c475f55894..d37e00afb8 100644 --- a/tools/hermes/tests/fixtures/edge_cases_modules/test_6_1_external_crate/hermes.toml +++ b/tools/hermes/tests/fixtures/edge_cases_modules/test_6_1_external_crate/hermes.toml @@ -4,5 +4,5 @@ Behavior: Imports and uses `std::collections::HashMap` in a signature. Validates """ [test] -expected_status = "failure" +expected_status = "known_bug" args = ["verify", "--allow-sorry"] diff --git a/tools/hermes/tests/fixtures/edge_cases_modules/test_6_3_renaming/hermes.toml b/tools/hermes/tests/fixtures/edge_cases_modules/test_6_3_renaming/hermes.toml index 439f15cdfe..8d46b4da52 100644 --- a/tools/hermes/tests/fixtures/edge_cases_modules/test_6_3_renaming/hermes.toml +++ b/tools/hermes/tests/fixtures/edge_cases_modules/test_6_3_renaming/hermes.toml @@ -4,5 +4,5 @@ Behavior: Re-aliases `Vec` using `use ... as MyVec;`. Ensures Charon de-aliases """ [test] -expected_status = "failure" +expected_status = "known_bug" args = ["verify", "--allow-sorry"]