spec/models/axiom_selection_spec.rb

	axiom_selection_spec.rb revision 2dd343358095286426c3ba8f6803572ee4c0a00a
require 'spec_helper'

describe AxiomSelection do
  let(:axiom_selection) { create :axiom_selection }
  subject { axiom_selection }

  context 'associations' do
    it { expect(subject).to have_one(:proof_attempt_configuration) }
    it { expect(subject).to have_and_belong_to_many(:axioms) }
  end
end