prove_options_spec.rb revision 3cda7da7b79e099e4941bb49ed7388341c40814d
require 'spec_helper'
describe Hets::ProveOptions do
let!(:prover) { create :prover }
let!(:theorem) { create :theorem }
let!(:ontology) { theorem.ontology }
let!(:theorem2) { create :theorem, ontology: ontology }
let!(:theorem3) { create :theorem, ontology: ontology }
let!(:axiom) { create :axiom, ontology: ontology }
let!(:parent_ontology) { ontology.parent }
context 'with strings' do
let(:options) { {node: ontology.name,
prover: prover.name,
axioms: [axiom.name],
theorems: [theorem.name],
timeout: '10'} }
let(:prove_options) { Hets::ProveOptions.new(options) }
it 'does not change the options' do
expect(prove_options.options).to eq(options)
end
end
context 'with general objects' do
let(:options) { {ontology: ontology,
prover: prover,
axioms: [axiom],
theorems: [theorem],
timeout: 10} }
let!(:axiom_names) { options[:axioms].map(&:name) }
let!(:theorem_names) { options[:theorems].map(&:name) }
let(:prove_options) { Hets::ProveOptions.new(options) }
it "removes the key 'ontology'" do
expect(prove_options.options.has_key?(:ontology)).to be(false)
end
it 'sets :node to the ontology name' do
expect(prove_options.options[:node]).to eq(ontology.name)
end
it 'sets :prover to the prover name' do
expect(prove_options.options[:prover]).to eq(prover.name)
end
it 'sets :axioms to the axioms names' do
expect(prove_options.options[:axioms]).to eq(axiom_names)
end
it 'sets :theorems to the theorems names' do
expect(prove_options.options[:theorems]).to eq(theorem_names)
end
it 'sets the normalized timeout as a string' do
expect(prove_options.options[:timeout]).to eq('10')
end
end
context 'timeout' do
let(:timeout) { 10 }
context 'with three theorems' do
let(:options) { {ontology: ontology,
theorems: [theorem, theorem2],
timeout: timeout} }
let(:prove_options) { Hets::ProveOptions.new(options) }
it 'sets the normalized timeout as a string' do
expect(prove_options.options[:timeout]).to eq((timeout/2).to_s)
end
end
context 'without theorems' do
let(:options) { {ontology: ontology,
timeout: timeout} }
let(:prove_options) { Hets::ProveOptions.new(options) }
it 'sets the normalized timeout as a string' do
expect(prove_options.options[:timeout]).to eq((timeout/3).to_s)
end
end
end
context 'using the parent ontology' do
let(:options) { {ontology: parent_ontology, timeout: 10} }
let(:prove_options) { Hets::ProveOptions.new(options) }
it 'it does not set :node' do
expect(prove_options.options.has_key?(:node)).to be(false)
end
it "removes the key 'ontology'" do
expect(prove_options.options.has_key?(:ontology)).to be(false)
end
end
end