()
| 273 | fn shard_check_env_claim_is_thin_frontier() { |
| 274 | // a -> b -> c: owned {a} gives frontier {b} only — c is below the |
| 275 | // first layer and must NOT enter the asm set. |
| 276 | let env = Env::new(); |
| 277 | let a = Address::hash(b"a"); |
| 278 | let b = Address::hash(b"b"); |
| 279 | let c = Address::hash(b"c"); |
| 280 | env.store_const(a.clone(), defn_const(vec![b.clone()])); |
| 281 | env.store_const(b.clone(), defn_const(vec![c.clone()])); |
| 282 | env.store_const(c.clone(), defn_const(vec![])); |
| 283 | let (claim, frontier) = |
| 284 | build_shard_check_env_claim(&env, std::slice::from_ref(&a)).unwrap(); |
| 285 | assert_eq!(frontier, vec![b.clone()]); |
| 286 | match claim { |
| 287 | Claim::CheckEnv { root, assumptions: Some(asm) } => { |
nothing calls this directly
no test coverage detected