# File rinject.rb, line 253 def add(vf) @verification_failures.push(vf) if not self.has_case(vf.fid) @case_failures.push(CaseFailure.new(vf.fid, vf.caseerror)) end end