module Proof::Error::Backtrace

Public Instance Methods

first_frame() click to toggle source
# File lib/proof/error.rb, line 27
def first_frame
  first.gsub(/.*\/proofs\/proof\/(.*\.rb.*)/,'\1')
end
remove_proof_framework_frames!() click to toggle source
# File lib/proof/error.rb, line 31
def remove_proof_framework_frames!
  reject! {|backtrace_line| backtrace_line =~ /proof\/lib\/proof/ }
end