specs/constraints/bool_enum.rb in gecoder-0.6.0 vs specs/constraints/bool_enum.rb in gecoder-0.6.1
- old
+ new
@@ -86,11 +86,12 @@
an_instance_of(Gecode::Raw::BoolVarArray),
an_instance_of(Gecode::Raw::BoolVar), strength)
unless reif_var.nil?
Gecode::Raw.should_receive(:bool_eqv).once.with(
an_instance_of(Gecode::Raw::Space),
- an_instance_of(Gecode::Raw::BoolVar), reif_var.bind, true, strength)
+ an_instance_of(Gecode::Raw::BoolVar),
+ an_instance_of(Gecode::Raw::BoolVar), true, strength)
end
end
end
# For bool enum spec.
@@ -121,10 +122,11 @@
an_instance_of(Gecode::Raw::BoolVarArray),
an_instance_of(Gecode::Raw::BoolVar), strength)
unless reif_var.nil?
Gecode::Raw.should_receive(:bool_eqv).once.with(
an_instance_of(Gecode::Raw::Space),
- an_instance_of(Gecode::Raw::BoolVar), reif_var.bind, true, strength)
+ an_instance_of(Gecode::Raw::BoolVar),
+ an_instance_of(Gecode::Raw::BoolVar), true, strength)
end
end
end
# For bool enum spec.