Documentation
¶
Index ¶
Constants ¶
View Source
const ( PersesReducer reductionType = "perses" VulcanReducer reductionType = "vulcan" )
Variables ¶
This section is empty.
Functions ¶
Types ¶
type Flags ¶
type Flags struct {
InputFile, TestScript, GivenLanguage, WorkDir string
UseStrategyIsolation, EnableMetrics bool
SyntacticReducer reductionType
ActiveStrategies []int
}
func (Flags) GetActiveStrategies ¶
func (f Flags) GetActiveStrategies() *collection.Set
func (Flags) GetReducer ¶
Source Files
Click to show internal directories.
Click to hide internal directories.