# File test/test_control.rb, line 232
    def properties_privilge=(new_priv)
      @set_properties_privilege_call += 1
      @set_properties_privilege_priv = new_priv
      nil
    end