// REQUIRES: asserts
// RUN: mlir-opt %s --test-transform-dialect-interpreter \
// RUN:             --mlir-disable-threading \
// RUN:             --debug-only=transform-dialect-dump-repro 2>&1 \
// RUN: | FileCheck %s

module {
  transform.sequence failures(propagate) {
  ^bb0(%arg0: !transform.any_op):
    transform.debug.emit_remark_at %arg0, "remark" : !transform.any_op
  }
}

// Verify that the repro string is dumped.

// CHECK: Transform Interpreter Repro
// CHECK: cat <<EOF | mlir-opt --pass-pipeline="builtin.module(test-transform-dialect-interpreter{debug-payload-root-tag=payload_root debug-transform-root-tag=transform_container})"

// Verify that the IR is dumped with tags.

// CHECK: module
// CHECK-SAME: transform.target_tag = "payload_root"
// CHECK: transform.sequence
// CHECK-SAME: transform.target_tag = "transform_container"
// CHECK: EOF

// Verify that the actual IR after the pass doesn't have the tags.

// CHECK: module
// CHECK-NOT: transform.target_tag = "payload_root"
// CHECK: transform.sequence
// CHECK-NOT: transform.target_tag = "transform_container"