proof_attempt_configuration_spec.rb revision 63499d8d12a219d26744bcb896789ea28459814f
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagherrequire 'spec_helper'
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagherdescribe ProofAttemptConfiguration do
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher context 'Associations' do
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher it { should belong_to(:prover) }
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher it { should belong_to(:logic_mapping) }
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher it { should have_one(:proof_attempt) }
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher end
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher context 'locid' do
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher let(:pac) { create :proof_attempt_configuration }
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher let(:ontology) { pac.ontology }
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher it 'has the correct locid' do
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher expect(pac.locid).
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher to eq("#{ontology.locid}//proof-attempt-configuration-#{pac.number}")
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher end
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher end
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagherend
35480afaefafb77b28d35b29039989ab888aafe9Stephen Gallagher