terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
circt/test/Tools/circt-lec/commandline.mlir

4 lines
101 B
MLIR
Raw Permalink Blame History

// RUN: circt-lec --help | FileCheck %s
// CHECK: OVERVIEW: circt-lec - logical equivalence checker
Reference in New Issue View Git Blame Copy Permalink