module Minitest::Thesis
  Error = Class.new(StandardError)

  # Attempted to make choices on a test case that has been completed.
  Frozen = Class.new(Error)

  # Raised when a test should stop executing early.
  StopTest = Class.new(Error)

  # Raised when a test has no valid examples.
  Unsatisfiable = Class.new(Error)
end