Module: Proof::Error::Backtrace

Defined in:: lib/proof/error.rb

Instance Method Summary collapse

Instance Method Details

#first_frame ⇒ `Object`



27
28
29

# File 'lib/proof/error.rb', line 27

def first_frame
  first.gsub(/.*\/proofs\/proof\/(.*\.rb.*)/,'\1')
end

#remove_proof_framework_frames! ⇒ `Object`



31
32
33

# File 'lib/proof/error.rb', line 31

def remove_proof_framework_frames!
  reject! {|backtrace_line| backtrace_line =~ /proof\/lib\/proof/ }
end