Sha256: d7722733a29f964d69ef9c740c8dd4aa16adf86b23b683e1c256c217fc01f12d
Contents?: true
Size: 289 Bytes
Versions: 7
Compression:
Stored size: 289 Bytes
Contents
require 'spec_helper'
class Predicate
describe Eq, "&" do
let(:left){
Factory.eq(:x, 2)
}
subject{ left & right }
context 'with an eq leading to a contradiction' do
let(:right){ Factory.eq(:x, 3) }
it{ should be_a(Contradiction) }
end
end
end
Version data entries
7 entries across 7 versions & 1 rubygems