Work on this exercise locally

This web app is a reference guide — you can read instructions, browse starter code, and view tests here. To actually complete the exercise, you need to work in your local development environment.

1Clone the repo: git clone https://github.com/weihaoqu/program-analysis-bootcamp-student

2Edit the starter file in your editor (VS Code, Vim, etc.) — replace failwith "TODO" with your implementation.

3Run the tests: dune runtest labs/lab1-tool-setup

Lab 1: Tool Setup

Lab 1: Tool Setup and Verification

Overview

This lab ensures your development environment is properly configured for the bootcamp.

Checklist

Python 3.8+ installed
Node.js 16+ installed (for Module 1)
Git configured
pytest installed (pip install pytest)
ESLint available (npm install -g eslint or via npx)
Code editor ready (VS Code recommended)
Repository cloned

Quick Setup

# From the repository root
./scripts/setup-environment.sh

# Or run the verification script
python labs/lab1-tool-setup/verify_setup.py

Verification Steps

Run python labs/lab1-tool-setup/verify_setup.py
Ensure all checks pass
If any check fails, follow the installation guide for your platform:
- Python Setup
- Node.js Setup

Troubleshooting

Python not found

Install from python.org. Make sure to add Python to PATH.

Node.js not found

Install from nodejs.org. The LTS version is recommended.

pytest not installed

pip install pytest
# or
pip3 install pytest

No code files

This exercise focuses on reading and discussion — follow the instructions on the left.