code: def test_check_dev_correct_formatting(device):
      with pytest.raises(AssertionError):
          check_dev_correct_formatting(device)
  
imports: import sys
  import os
  import contextlib
  import pytest
  from ivy.utils.assertions import check_all, check_all_or_any_fn, check_any, check_dev_correct_formatting, check_dimensions, check_elem_in_list, check_equal, check_exists, check_false, check_gather_input_valid, check_gather_nd_input_valid, check_greater, check_inplace_sizes_valid, check_isinstance, check_kernel_padding_size, check_less, check_same_dtype, check_shape, check_shapes_broadcastable, check_true, check_unsorted_segment_valid_params
  from ivy.utils.assertions import _check_jax_x64_flag
  import ivy
label_desc: Use image node_id 4 for calling a global function with example usage: test_check_dev_correct_formatting(device) without return types