Contents

require 'spec_helper'
class Predicate
  describe Predicate, "&" do

    let(:left) { Predicate.coerce(x: 2) }

    subject{ left & right }

    before do
      subject.should be_a(Predicate)
    end

    context 'with itself' do
      let(:right){ left }

      it{ should be(left) }
    end

    context 'with the same expression' do
      let(:right){ Predicate.coerce(x: 2) }

      it{ should be(left) }
    end

    context 'with tautology' do
      let(:right){ Predicate.tautology }

      it 'returns self' do
        expect(subject).to eql(left)
      end
    end

    context 'with contradiction' do
      let(:right){ Predicate.contradiction }

      it 'returns contradiction' do
        expect(subject).to eql(right)
      end
    end

  end
end

Version data entries

7 entries across 7 versions & 1 rubygems

Version	Path
predicate-2.3.1	spec/predicate/test_bool_and.rb
predicate-2.3.0	spec/predicate/test_bool_and.rb
predicate-2.2.1	spec/predicate/test_bool_and.rb
predicate-2.2.0	spec/predicate/test_bool_and.rb
predicate-2.1.0	spec/predicate/test_bool_and.rb
predicate-2.0.1	spec/predicate/test_bool_and.rb
predicate-2.0.0	spec/predicate/test_bool_and.rb