MLIR  20.0.0git
Public Types | Public Member Functions | List of all members
mlir::Tester Class Reference

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

Detailed Description

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.

Definition at line 33 of file Tester.h.

Member Enumeration Documentation

◆ Interestingness

Enumerator
True 
False 
Untested 

Definition at line 35 of file Tester.h.

Constructor & Destructor Documentation

◆ Tester()

Tester::Tester ( StringRef  testScript,
ArrayRef< std::string >  testScriptArgs 
)

Definition at line 23 of file Tester.cpp.

Member Function Documentation

◆ isInteresting() [1/2]

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().

◆ isInteresting() [2/2]

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.

References False, and True.


The documentation for this class was generated from the following files: