← passage and results

case023_seed1023_invalid.mlir

evidence/breadth-10/pbt/cases/case023_seed1023_invalid.mlir

Download original file

module {
  fabric.module @m(%in : !fabric.bits_tag<8, 3>) -> (!fabric.bits<8>, !fabric.bits<3>) {
    %data, %tg = fabric.boundary [ ] %in : !fabric.bits_tag<8, 3> -> (!fabric.bits<8>, !fabric.bits<3>)
    fabric.yield %data, %tg : !fabric.bits<8>, !fabric.bits<3>
  }
}