spec/models/axiom_selection_spec.rb

	axiom_selection_spec.rb revision 5dd0a6bcc5adb36d1d3ade5b3e7aa8e6f0bec236
require 'spec_helper'

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

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