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