spec/unit/axiom/optimizer/algebra/restriction/contradiction/optimize_spec.rb in axiom-optimizer-0.1.0 vs spec/unit/axiom/optimizer/algebra/restriction/contradiction/optimize_spec.rb in axiom-optimizer-0.1.1

- old
+ new

@@ -3,21 +3,19 @@ require 'spec_helper' describe Optimizer::Algebra::Restriction::Contradiction, '#optimize' do subject { object.optimize } - let(:header) { Relation::Header.coerce([ [ :id, Integer ] ]) } - let(:base) { Relation.new(header, LazyEnumerable.new([ [ 1 ] ])) } - let(:predicate) { Function::Proposition::Contradiction.instance } - let(:relation) { base.restrict { predicate } } - let(:object) { described_class.new(relation) } + let(:header) { Relation::Header.coerce([[:id, Integer]]) } + let(:base) { Relation.new(header, LazyEnumerable.new([[1]])) } + let(:predicate) { Function::Proposition::Contradiction.instance } + let(:relation) { base.restrict { predicate } } + let(:object) { described_class.new(relation) } before do - object.should be_optimizable + expect(object).to be_optimizable end it { should be_kind_of(Relation::Empty) } - its(:header) { should equal(header) } - - its(:tuples) { should equal(relation) } + its(:header) { should be(header) } end