refactor: remove stubs/ and use mockro for MicroPython type checking

Author: dluman

.gatorgrade.yml

@@ -0,0 +1,9 @@
+- description: "Run pytest with mockro stubs"
+  check: ExecuteCommand
+  options:
+    command: uv run pytest
+
+- description: "Run mypy type checks"
+  check: ExecuteCommand
+  options:
+    command: uv run mypy src tests

gatorgrade.yml

@@ -1,17 +1,24 @@
 [project]
 name = "assignment-template"
 version = "1.0.0"
-requires-python= ">=3.10"
+requires-python= ">=3.11"
 dependencies = [
     "gatorgrade",
+    "mockro",
     "mypy>=1.19.1",
     "pytest",
 ]
 
-[tool.pytest]
+[tool.pytest.ini_options]
 pythonpath = [
     "src"
 ]
 testpaths = [
     "tests"
 ]
+filterwarnings = [
+    "ignore::pytest.PytestAssertRewriteWarning"
+]
+
+[tool.mypy]
+ignore_missing_imports = true

pyproject.toml

@@ -1,5 +1,14 @@
-def main():
-    pass
+import machine
+import network
+
+
+def main() -> None:
+    led = machine.Pin(2, machine.Pin.OUT)
+    led.on()
+
+    wlan = network.WLAN(network.STA_IF)
+    wlan.active(True)
+
 
 if __name__ == "__main__":
-    main()
+    main()

src/main.py

@@ -0,0 +1,6 @@
+import mockro
+
+# Uncomment and adjust the overrides below to change how mocked hardware
+# behaves during tests.
+# mockro.patch("machine.Pin.value", return_value=1)
+# mockro.patch("network.WLAN.isconnected", return_value=True)

tests/conftest.py

@@ -0,0 +1,19 @@
+import machine
+import network
+
+from main import main
+
+
+def test_main_runs_with_mockro() -> None:
+    main()
+
+
+def test_led_can_be_turned_on() -> None:
+    led = machine.Pin(2, machine.Pin.OUT)
+    led.on()
+    assert led.value() == 0
+
+
+def test_wlan_initially_inactive() -> None:
+    wlan = network.WLAN(network.STA_IF)
+    assert not wlan.active()