Introducing File System Validation Tools (#270)

Signed-off-by: Michael Pham <[email protected]>
Co-authored-by: Copilot <[email protected]>
Co-authored-by: ineskhou <[email protected]>
Co-authored-by: ineskhou <[email protected]>
Co-authored-by: ineskhou <[email protected]>

Author: 3 people

circuitpython-workspaces/flight-software/pyproject.toml

@@ -16,7 +16,6 @@ dependencies = [
     "adafruit-circuitpython-tca9548a @ git+https://github.com/proveskit/[email protected]",
     "adafruit-circuitpython-ticks==1.1.1",
     "adafruit-circuitpython-veml7700==2.1.4",
-    "proves-circuitpython-rv3028 @ git+https://github.com/proveskit/[email protected]",
     "proves-circuitpython-sx126 @ git+https://github.com/proveskit/[email protected]",
     "proves-circuitpython-sx1280 @ git+https://github.com/proveskit/[email protected]",
 ]

circuitpython-workspaces/flight-software/src/pysquared/rtc/manager/rv3028.py

@@ -14,7 +14,7 @@
 """
 
 from busio import I2C
-from rv3028.rv3028 import RV3028
+from mocks.rv3028.rv3028 import RV3028
 
 from ...hardware.exception import HardwareInitializationError
 from ...logger import Logger

cpython-workspaces/flight-software-unit-tests/src/unit-tests/hardware/burnwire/manager/test_burnwire.py

@@ -9,6 +9,7 @@
 
 import pytest
 from digitalio import DigitalInOut
+
 from pysquared.hardware.burnwire.manager.burnwire import BurnwireManager
 from pysquared.logger import Logger
 

cpython-workspaces/flight-software-unit-tests/src/unit-tests/hardware/imu/manager/test_lsm6dsox_manager.py

@@ -12,6 +12,7 @@
 import pytest
 from busio import I2C
 from mocks.adafruit_lsm6ds.lsm6dsox import LSM6DSOX
+
 from pysquared.hardware.exception import HardwareInitializationError
 from pysquared.hardware.imu.manager.lsm6dsox import LSM6DSOXManager
 from pysquared.logger import Logger

cpython-workspaces/flight-software-unit-tests/src/unit-tests/hardware/light_sensor/manager/test_veml7700_manager.py

@@ -4,6 +4,7 @@
 from unittest.mock import MagicMock, PropertyMock, patch
 
 import pytest
+
 from pysquared.hardware.exception import HardwareInitializationError
 from pysquared.hardware.light_sensor.manager.veml7700 import VEML7700Manager
 from pysquared.logger import Logger

cpython-workspaces/flight-software-unit-tests/src/unit-tests/hardware/magnetometer/manager/test_lis2mdl_manager.py

@@ -9,6 +9,7 @@
 from unittest.mock import MagicMock, PropertyMock, patch
 
 import pytest
+
 from pysquared.hardware.exception import HardwareInitializationError
 from pysquared.hardware.magnetometer.manager.lis2mdl import LIS2MDLManager
 from pysquared.sensor_reading.error import (

cpython-workspaces/flight-software-unit-tests/src/unit-tests/hardware/power_monitor/manager/test_ina219_manager.py

@@ -10,6 +10,7 @@
 
 import pytest
 from mocks.adafruit_ina219.ina219 import INA219
+
 from pysquared.hardware.exception import HardwareInitializationError
 from pysquared.hardware.power_monitor.manager.ina219 import INA219Manager
 from pysquared.sensor_reading.current import Current

cpython-workspaces/flight-software-unit-tests/src/unit-tests/hardware/radio/manager/test_radio_base.py

@@ -6,6 +6,7 @@
 """
 
 import pytest
+
 from pysquared.hardware.radio.manager.base import BaseRadioManager
 from pysquared.hardware.radio.modulation import LoRa
 

cpython-workspaces/flight-software-unit-tests/src/unit-tests/hardware/radio/manager/test_rfm9x_manager.py

@@ -16,6 +16,7 @@
 from digitalio import DigitalInOut
 from mocks.adafruit_rfm.rfm9x import RFM9x as MockRFM9x
 from mocks.adafruit_rfm.rfm9xfsk import RFM9xFSK as MockRFM9xFSK
+
 from pysquared.config.radio import RadioConfig
 from pysquared.hardware.exception import HardwareInitializationError
 from pysquared.hardware.radio.modulation import FSK, LoRa

cpython-workspaces/flight-software-unit-tests/src/unit-tests/hardware/radio/manager/test_sx126x_manager.py

@@ -13,6 +13,7 @@
 from digitalio import DigitalInOut
 from mocks.proves_sx126.sx126x import ERR_NONE
 from mocks.proves_sx126.sx1262 import SX1262
+
 from pysquared.config.radio import RadioConfig
 from pysquared.hardware.exception import HardwareInitializationError
 from pysquared.hardware.radio.manager.sx126x import SX126xManager