. (Join-Path (Split-Path -Parent $PSScriptRoot) "env_fast_sim.ps1")

$runner = Join-Path $env:FAST_SIM_ROOT "scripts\run_with_evidence.py"
$projectRoot = Join-Path $env:FAST_SIM_ROOT "examples\counter_cocotb"
$example = Join-Path $env:FAST_SIM_ROOT "examples\counter_cocotb\run_icarus.py"
& $env:PYTHON_EXECUTABLE $runner --project-root $projectRoot --run-name smoke_counter_icarus --tool cocotb_icarus -- $env:PYTHON_EXECUTABLE $example
exit $LASTEXITCODE
