proof_attempt_configuration_spec.rb revision 4b6256aacace9f7e4155eab280144135613a2c8b
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(:goals) }
end
context 'locid' do
let(:pac) { create :proof_attempt_configuration }
let(:ontology) { pac.ontology }
it 'has the correct locid' do
expect(pac.locid).
to eq("#{ontology.locid}//proof-attempt-configuration-#{pac.number}")
end
end
end