models/ontology_version/proving_spec.rb

	proving_spec.rb revision c73a9fba38c3f997632370857d254425fa5183d7
require 'spec_helper'

describe 'OntologyVersion - Proving' do
  let(:theorem) { create :theorem }
  let(:ontology) { theorem.ontology }
  let(:repository) { ontology.repository }
  let(:ontology_version) { ontology.current_version }

  context 'prove_options' do
    let(:prove_options) { ontology_version.prove_options }
    it 'have the ontology name as node parameter' do
      expect(prove_options.options[:node]).to eq(ontology.name)
    end

    it 'have no theorems parameter' do
      expect(prove_options.options[:theorems]).to be(nil)
    end

    context 'with url-maps' do
      let!(:url_maps) { [create(:url_map, repository: repository)] }
      it 'have the url-maps as url-catalog parameter' do
        expect(prove_options.options[:'url-catalog']).to eq(url_maps.join(','))
      end
    end

    context 'without url-maps' do
      it 'have no url-catalog parameter' do
        expect(prove_options.options[:'url-catalog']).to be(nil)
      end
    end
  end
end