VeriScan/veriscan.bat at master · elalgil/VeriScan · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
@echo off
TITLE VeriScan - Automated Launcher (Dev Mode)

:: --- 1. Launch Backend (FastAPI) ---
echo [1/2] Starting VeriScan Backend...
start "VeriScan Backend" cmd /k "cd /d %~dp0 && .venv\Scripts\activate && uvicorn backend.main:app --reload"

:: Wait for 3 seconds to let the Models (SRNet/CNN) initialize
timeout /t 3 /nobreak > nul

:: --- 2. Launch Frontend (React + Vite) ---
echo [2/2] Starting VeriScan Frontend (npm run dev)...
start "VeriScan Frontend" cmd /k "cd /d %~dp0frontend && npm run dev"

:: --- 3. Open Browser ---
echo Waiting for frontend to load...
timeout /t 4 /nobreak > nul
start http://localhost:5173

echo.
echo ======================================================
echo  VeriScan is running!
echo  - Backend: http://127.0.0.1:8000
echo  - Frontend: http://localhost:5173
echo ======================================================
pause