// RUN: circt-translate --help | FileCheck %s
// CHECK: OVERVIEW: CIRCT Translation Testing Tool
// CHECK: Translations to perform
// CHECK: --export-calyx
// CHECK: --export-firrtl
// CHECK: --import-firrtl