runtimeverification
diff --git a/‎pyproject.toml‎
Lines changed: 5 additions & 0 deletions b/‎pyproject.toml‎
Lines changed: 5 additions & 0 deletions
diff --git a/‎tests/__init__.py‎ ‎src/tests/__init__.py‎tests/__init__.py renamed to src/tests/__init__.py b/‎tests/__init__.py‎ ‎src/tests/__init__.py‎tests/__init__.py renamed to src/tests/__init__.py
diff --git a/‎tests/abstract_and_interface/input.json‎ ‎…/tests/abstract_and_interface/input.json‎tests/abstract_and_interface/input.json renamed to src/tests/abstract_and_interface/input.json b/‎tests/abstract_and_interface/input.json‎ ‎…/tests/abstract_and_interface/input.json‎tests/abstract_and_interface/input.json renamed to src/tests/abstract_and_interface/input.json
diff --git a/‎tests/abstract_and_interface/output.json‎ ‎…tests/abstract_and_interface/output.json‎tests/abstract_and_interface/output.json renamed to src/tests/abstract_and_interface/output.json b/‎tests/abstract_and_interface/output.json‎ ‎…tests/abstract_and_interface/output.json‎tests/abstract_and_interface/output.json renamed to src/tests/abstract_and_interface/output.json
diff --git a/‎tests/mega_playground/input.json‎ ‎src/tests/mega_playground/input.json‎tests/mega_playground/input.json renamed to src/tests/mega_playground/input.json b/‎tests/mega_playground/input.json‎ ‎src/tests/mega_playground/input.json‎tests/mega_playground/input.json renamed to src/tests/mega_playground/input.json
diff --git a/‎tests/mega_playground/mega_playground.sol‎ ‎…ests/mega_playground/mega_playground.sol‎tests/mega_playground/mega_playground.sol renamed to src/tests/mega_playground/mega_playground.sol b/‎tests/mega_playground/mega_playground.sol‎ ‎…ests/mega_playground/mega_playground.sol‎tests/mega_playground/mega_playground.sol renamed to src/tests/mega_playground/mega_playground.sol
diff --git a/‎tests/mega_playground/output.json‎ ‎src/tests/mega_playground/output.json‎tests/mega_playground/output.json renamed to src/tests/mega_playground/output.json b/‎tests/mega_playground/output.json‎ ‎src/tests/mega_playground/output.json‎tests/mega_playground/output.json renamed to src/tests/mega_playground/output.json
diff --git a/‎tests/mock_machine.py‎ ‎src/tests/mock_machine.py‎tests/mock_machine.py renamed to src/tests/mock_machine.py b/‎tests/mock_machine.py‎ ‎src/tests/mock_machine.py‎tests/mock_machine.py renamed to src/tests/mock_machine.py
diff --git a/‎…g_info_ethdebug_compatible_output/in.yul‎ ‎…g_info_ethdebug_compatible_output/in.yul‎tests/standard_yul_debug_info_ethdebug_compatible_output/in.yul renamed to src/tests/standard_yul_debug_info_ethdebug_compatible_output/in.yul b/‎…g_info_ethdebug_compatible_output/in.yul‎ ‎…g_info_ethdebug_compatible_output/in.yul‎tests/standard_yul_debug_info_ethdebug_compatible_output/in.yul renamed to src/tests/standard_yul_debug_info_ethdebug_compatible_output/in.yul
diff --git a/‎…fo_ethdebug_compatible_output/input.json‎ ‎…fo_ethdebug_compatible_output/input.json‎tests/standard_yul_debug_info_ethdebug_compatible_output/input.json renamed to src/tests/standard_yul_debug_info_ethdebug_compatible_output/input.json b/‎…fo_ethdebug_compatible_output/input.json‎ ‎…fo_ethdebug_compatible_output/input.json‎tests/standard_yul_debug_info_ethdebug_compatible_output/input.json renamed to src/tests/standard_yul_debug_info_ethdebug_compatible_output/input.json
@@ -17,8 +17,13 @@ dev = [
     "datamodel-code-generator",
     "pytest>=8.3.5",
     "pytest-asyncio>=0.26.0",
+    "requests>=2.32.5",
 ]
 
+[tool.pytest.ini_options]
+testpaths = ["src/tests"]
+pythonpath = ["src"]
+
 [tool.uv]
 
 [tool.uv.sources]