spec/models/proof_attempt_configuration_spec.rb

	proof_attempt_configuration_spec.rb revision b56109f8183ec717e6760a8562b5d97a8540f55f
require 'spec_helper'

describe ProofAttemptConfiguration do
  context 'Associations' do
    it { should belong_to(:prover) }
    it { should belong_to(:logic_mapping) }
    it { should belong_to(:axiom_selection) }
    it { should have_one(:proof_attempt) }
  end
end