MLIR
20.0.0git
|
This class is used to keep track of the testing environment of the tool. More...
#include "mlir/Reducer/Tester.h"
Public Types | |
enum class | Interestingness { True , False , Untested } |
Public Member Functions | |
Tester (StringRef testScript, ArrayRef< std::string > testScriptArgs) | |
std::pair< Interestingness, size_t > | isInteresting (ModuleOp module) const |
Runs the interestingness testing script on a MLIR test case file. More... | |
Interestingness | isInteresting (StringRef testCase) const |
Return whether the file in the given path is interesting. More... | |
This class is used to keep track of the testing environment of the tool.
It contains a method to run the interestingness testing script on a MLIR test case file.
|
strong |
Tester::Tester | ( | StringRef | testScript, |
ArrayRef< std::string > | testScriptArgs | ||
) |
Definition at line 23 of file Tester.cpp.
std::pair< Tester::Interestingness, size_t > Tester::isInteresting | ( | ModuleOp | module | ) | const |
Runs the interestingness testing script on a MLIR test case file.
Returns true if the interesting behavior is present in the test case or false otherwise.
Definition at line 27 of file Tester.cpp.
References False, and mlir::verify().
Referenced by findOptimal().
Tester::Interestingness Tester::isInteresting | ( | StringRef | testCase | ) | const |
Return whether the file in the given path is interesting.
Runs the interestingness testing script on a MLIR test case file.
Returns true if the interesting behavior is present in the test case or false otherwise.
Definition at line 60 of file Tester.cpp.