Method is_expected

crates/ffi/src/kernel.rs:2248–2250

(&self)

  profile: &BlockProfile,
) {
  use ix_kernel::shard::{
    COST_PER_DEF_EQ, COST_PER_INGRESS_BYTE, COST_PER_INTERN, COST_PER_SUBST,
    COST_PER_WHNF, SHARD_COST_FLOOR, block_step_cost, ram_gib_for_steps,
  };
  let (mut hb, mut subst, mut whnf, mut defeq, mut nat, mut intern) =
    (0u64, 0u64, 0u64, 0u64, 0u64, 0u64);