Function test_claim_first_byte

crates/ixon/src/proof.rs:1796–1822

()

      typ: None,
      value: None,
    };

    let cases: Vec<(Claim, u64)> = vec![
      (
        Claim::Eval { input: a.clone(), output: b.clone(), assumptions: None },
        VARIANT_EVAL_CLAIM,
      ),
      (
        Claim::Check { const_addr: a.clone(), assumptions: None },
        VARIANT_CHECK_CLAIM,
      ),
      (
        Claim::CheckEnv { root: a.clone(), assumptions: None },
        VARIANT_CHECK_ENV_CLAIM,
      ),
      (
        Claim::Reveal { comm: a.clone(), info: reveal_info },
        VARIANT_REVEAL_CLAIM,
      ),
      (Claim::Contains { tree: a, const_addr: b }, VARIANT_CONTAINS_CLAIM),
    ];

    for (claim, expected_size) in cases {
      let tag = claim_tag(&claim);
      assert_eq!(tag.flag, FLAG_CLAIM, "claim must use flag 0xE");
      assert_eq!(tag.value, expected_size);
    }
  }

  #[test]