Module: Ibex::CLICounterexampleOptions

Included in:

CLI

Defined in:

lib/ibex/cli/counterexample_options.rb

Overview

Counterexample report limits and their command-line validation.

Constant Summary

DEFAULTS =

{
  counterexample_max_tokens: LALR::ConflictSearchLimits::DEFAULT_MAX_TOKENS,
  counterexample_max_configurations: LALR::ConflictSearchLimits::DEFAULT_MAX_CONFIGURATIONS
}.freeze