code: def test_example_progression(self):
      cset = [[1, 2, 3], [1, 2, 4]]
  
      dc = DisjunctiveConstraint(cset)
  
      stepped, completed, reset = dc.update(1)
      desired = (
          stepped is True and completed is False and reset is False
      )
      self.assertTrue(desired)
      self.assertTrue(not dc.completed)
      self.assertTrue(dc.current_seq == [1])
  
      stepped, completed, reset = dc.update(2)
      desired = (
          stepped is True and completed is False and reset is False
      )
      self.assertTrue(desired)
      self.assertTrue(not dc.completed)
      self.assertTrue(dc.current_seq == [1, 2])
  
      stepped, completed, reset = dc.update(3)
      desired = stepped is True and completed is True and reset is False
      self.assertTrue(desired)
      self.assertTrue(dc.completed)  # Completed!
      self.assertTrue(dc.current_seq == [1, 2, 3])
  
file_path: H2O/h2o_flexgen/benchmark/third_party/transformers/tests/generation/test_generation_beam_constraints.py
imports: import unittest
  from transformers import is_torch_available
  from transformers.testing_utils import require_torch
label_desc: Use image node_id 3 for calling the ConstraintTest obj's underlying member method code with example usage: obj.test_example_progression() without return types