Sha256: ecf32c811ebf20f28016dd41f3bcdb8b3c8647c44668c3c3b3d27dd76b8f91fc
Contents?: true
Size: 727 Bytes
Versions: 9
Compression:
Stored size: 727 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
context 'with an IN on same variable and literal' do
let(:right){ Factory.in(:x, [2,4]) }
it{ should be(left) }
end
context 'with an IN on same variable and opaque' do
let(:right){ Factory.in(:x, Factory.opaque([3,4])) }
it{ should be_a(And) }
end
context 'with an IN having a placeholder' do
let(:right){ Factory.in(:x, Factory.placeholder) }
it{ should be_a(And) }
end
end
end
Version data entries
9 entries across 9 versions & 1 rubygems