spec/models/proof_attempt_configuration_spec.rb

	proof_attempt_configuration_spec.rb revision c4bdc37c9de27abfa1d5be18008953b32457e6c4
require 'spec_helper'

describe ProofAttemptConfiguration do
  context 'Associations' do
    it { should belong_to(:prover) }
    it { should belong_to(:logic_mapping) }
    it { should have_many(:proof_attempts) }
    it { should have_and_belong_to_many(:axioms) }
    it { should have_and_belong_to_many(:goals) }
  end
end