code: def test_tvmc_workspace_pools_check(
      mock_pkg, mock_relay, keras_simple, tmpdir_factory
  ):
      pytest.importorskip("tensorflow")
      tmpdir = tmpdir_factory.mktemp("data")
  
      # Test model compilation
      package_path = os.path.join(tmpdir, "keras-tvm.tar")
      compile_str = (
          f"tvmc compile --target=llvm --workspace-pools=sram "
          f"--workspace-pools-targets=sram:llvm "
          f"--output={package_path} {keras_simple}"
      )
      compile_args = compile_str.split(" ")[1:]
      _main(compile_args)
      assert os.path.exists(package_path)
      assert mock_relay.call_count == 1
      assert (
          mock_relay.call_args_list[0][1]["workspace_memory_pools"]
          .pools[0]
          .pool_name
          == "sram"
      )
  
imports: import os
  import platform
  import pytest
  import shutil
  import logging
  import sys
  from pytest_lazyfixture import lazy_fixture
  from unittest import mock
  import tvm
  from tvm.driver.tvmc.main import _main
  from tvm.driver.tvmc.model import TVMCException
  from tvm.driver.tvmc import compiler
  from unittest.mock import MagicMock
label_desc: Use image node_id 8 for calling a global function with example usage: test_tvmc_workspace_pools_check(mock_pkg, mock_relay, keras_simple, tmpdir_factory) without return types