class Proof::Result

Public Instance Methods

output_method() click to toggle source
# File lib/proof/result.rb, line 12
def output_method
  if status == :error
    return :fail
  end
  return status
end
write() click to toggle source
# File lib/proof/result.rb, line 7
def write
  Output.write output_method, description
  Error.output error if status == :error
end