Contents

require 'spec_helper'

describe 'Veritas::Logic::Proposition#eql?' do
  subject { object.eql?(other) }

  let(:klass)  { Class.new(Logic::Proposition) }
  let(:object) { klass.new                     }

  context 'with the same class' do
    let(:other) { klass.new }

    it { should be(true) }

    it 'is symmetric' do
      should == other.eql?(object)
    end
  end

  context 'with a different class' do
    let(:other) { Class.new(Logic::Proposition).new }

    it { should be(false) }

    it 'is symmetric' do
      should == other.eql?(object)
    end
  end
end

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
veritas-0.0.2	spec/unit/veritas/logic/proposition/eql_spec.rb