Struct PythonTestRunner 

pub struct PythonTestRunner { /* private fields */ }

Python test runner using uv and pytest

Handles:

1. Checking for pyproject.toml
2. Setting up Python environment via uv
3. Running pytest
4. Parsing results for V_log calculation

Implementations

impl PythonTestRunner

pub fn new(working_dir: PathBuf) -> Self

Create a new Python test runner

pub fn with_timeout(self, secs: u64) -> Self

Set timeout

pub fn without_auto_setup(self) -> Self

Disable auto-setup (don’t create pyproject.toml if missing)

pub fn has_pyproject(&self) -> bool

Check if workspace has a Python project setup

pub async fn has_pytest(&self) -> bool

Check if workspace has pytest configured

pub async fn setup_environment(&self) -> Result<()>

Initialize the Python environment with uv NOTE: This assumes pyproject.toml already exists (created by orchestrator’s step_init_project)

pub async fn run_pytest(&self, test_args: &[&str]) -> Result<TestResults>

Run pytest and parse results

If environment is not set up, will attempt to set it up first.

pub async fn run_test_files(&self, test_files: &[&Path]) -> Result<TestResults>

Run pytest on specific test files

pub fn calculate_v_log( &self, results: &TestResults, contract: &BehavioralContract, ) -> f32

Calculate V_log (Logic Energy) from test results and behavioral contract Uses weighted tests from the contract to determine criticality

pub fn match_weighted_tests( &self, results: &mut TestResults, contract: &BehavioralContract, )

Match test failures with weighted tests from contract to set criticality

Trait Implementations

impl TestRunnerTrait for PythonTestRunner

fn run_syntax_check<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<TestResults>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Run syntax/type check (e.g., cargo check, uv run ty check .)

fn run_tests<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<TestResults>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Run the test suite (e.g., cargo test, uv run pytest)

fn run_build_check<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<TestResults>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Run build check (e.g., cargo build)

fn run_lint<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<TestResults>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Run lint check (e.g., cargo clippy, uv run ruff check .)

fn name(&self) -> &str

Name of the runner (for logging)

fn run_stage<'life0, 'async_trait>( &'life0 self, stage: VerifierStage, ) -> Pin<Box<dyn Future<Output = Result<TestResults>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Run a specific verifier stage by enum variant.