# File lib/nulldb_rspec.rb, line 66
  def have_executed(entry_point)
    HaveExecuted.new(entry_point)
  end