spec/integration/axiom/function/connective/negation/optimize_spec.rb in axiom-optimizer-0.1.0 vs spec/integration/axiom/function/connective/negation/optimize_spec.rb in axiom-optimizer-0.1.1
- old
+ new
@@ -26,18 +26,18 @@
end
context 'operand is a tautology' do
let(:operand) { Function::Proposition::Tautology.instance }
- it { should equal(Function::Proposition::Contradiction.instance) }
+ it { should be(Function::Proposition::Contradiction.instance) }
it_should_behave_like 'an optimize method'
end
context 'operand is a contradiction' do
let(:operand) { Function::Proposition::Contradiction.instance }
- it { should equal(Function::Proposition::Tautology.instance) }
+ it { should be(Function::Proposition::Tautology.instance) }
it_should_behave_like 'an optimize method'
end
end