From 72cf7cf7f917e72a04e93d835b6fd058cd080ddd Mon Sep 17 00:00:00 2001 From: Johnny Greco Date: Fri, 11 Sep 2026 22:49:06 +0000 Subject: [PATCH] test(prover): avoid solver in fast-path guard test Signed-off-by: Johnny Greco --- crates/openshell-prover/src/containment.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/crates/openshell-prover/src/containment.rs b/crates/openshell-prover/src/containment.rs index c78a0a27f..d9cf37606 100644 --- a/crates/openshell-prover/src/containment.rs +++ b/crates/openshell-prover/src/containment.rs @@ -2118,8 +2118,9 @@ mod tests { let candidate = parse( "version: 1\nnetwork_policies:\n allow:\n endpoints:\n - { host: api.example.com, port: 443, protocol: rest, enforcement: enforce, rules: [{ allow: { method: GET, path: '/repos/private/**' } }] }\n binaries: [{ path: /usr/bin/curl }]\n", ); - let result = check_within_maximum(&maximum, &candidate, options()); - assert!(matches!(result, CheckResult::Exceeds(_)), "{result:?}"); + assert!(!network_is_structurally_contained( + &maximum, &candidate, true + )); } #[test]