require 'spec_helper'

describe Logic::Proposition, '#inspect' do
  subject { object.inspect }

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

  before do
    described_class.stub!(:name).and_return('Veritas::Logic::Proposition')
  end

  specify { expect { subject }.to raise_error(NotImplementedError, "#{described_class.name}.call must be implemented") }
end