| // RUN: ( iree-run-replay --help || [[ $? == 1 ]] ) | FileCheck %s --check-prefix=RUN-REPLAY | |
| // RUN: ( iree-benchmark-replay --help || [[ $? == 1 ]] ) | FileCheck %s --check-prefix=BENCH-REPLAY | |
| // RUN: ( iree-dump-replay --help || [[ $? == 1 ]] ) | FileCheck %s --check-prefix=DUMP-REPLAY | |
| // RUN-REPLAY: IREE: iree-run-replay | |
| // RUN-REPLAY: Executes an IREE HAL replay file | |
| // BENCH-REPLAY: IREE: iree-benchmark-replay | |
| // BENCH-REPLAY: Benchmarks deterministic execution of an IREE HAL replay file | |
| // DUMP-REPLAY: IREE: iree-dump-replay | |
| // DUMP-REPLAY: Dumps information from an IREE HAL replay file |