spec/models/manual_axiom_selection_spec.rb

	manual_axiom_selection_spec.rb revision 554e4d0dd1f4e02034b3b142c8ea100a9f6a1fdc
require 'spec_helper'

describe ManualAxiomSelection do
  let(:manual_axiom_selection) { create :manual_axiom_selection }

  context "respond to the parent's methods" do
    %i(proof_attempt_configuration axioms).each do |method|
      it method do
        expect(manual_axiom_selection).to respond_to(method)
      end
    end
  end
end