brick/tests/fixtures/p4_metrics/cycle_and_unreachable.p4

parser CyclicParser() {
  state start {
    transition loop;
  }

  state loop {
    transition start;
  }

  state dead {
    transition accept;
  }
}

control UnresolvedControl() {
  apply {
    missing_action();
  }
}