code: def test_aten_div_tensor_at_3(self):
      model_path = (
          pytorch_test_dir
          + "/jit/fixtures/test_versioned_div_tensor_v3.pt"
      )
      loaded_model = torch.jit.load(model_path)
      # there are 3 aten::div in this model
      # And the upgrader for aten::div uses two
      # div's because of if/else branch
      FileCheck().check("prim::If").run(loaded_model.graph)
      FileCheck().check_count("aten::div", 6).run(loaded_model.graph)
  
      buffer = io.BytesIO()
      torch.jit.save(loaded_model, buffer)
      buffer.seek(0)
      version = self._load_model_version(loaded_model)
      self.assertTrue(version == 4)
      loaded_model_twice = torch.jit.load(buffer)
      # we check by its code because graph variable names
      # can be different every time
      self.assertEqual(loaded_model.code, loaded_model_twice.code)
  
imports: import io
  import os
  import sys
  import torch
  import zipfile
  from torch.testing import FileCheck
  from typing import Union
  from torch.testing._internal.jit_utils import JitTestCase
label_desc: Use image node_id 5 for calling the TestUpgraders obj's underlying member method code with example usage: obj.test_aten_div_tensor_at_3() without return types