| // 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 |
