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