spec/models/axiom_selection_spec.rb

	axiom_selection_spec.rb revision 554e4d0dd1f4e02034b3b142c8ea100a9f6a1fdc
require 'spec_helper'

describe AxiomSelection do
  context 'associations' do
    it { should have_one(:proof_attempt_configuration) }
    it { should have_and_belong_to_many(:axioms) }
  end
end