Simulation Requirements Verification

Throughout the test cases, we checked the following criteria to look for inconsistencies:

1. Passengers get sent to their destinations. Passengers that cannot receive service due to capacity or other constraints should remain at their point of origin (and not stranded in the middle of the transit network)
2. Connectivity constraints are not violated. Vehicles and passengers should only move between nodes that are connected on the connectivity matrix.
3. Vehicle capacity constraints are not violated. Passengers should not be able to move independently between nodes without enough vehicles to carry them.

The simulation itself served as an invaluable verification tool for the schedule optimizer, as it was quick to point out inconsistencies in the number of passengers and vehicles available at stations while trying to follow the schedule. Tracing errors and crashes in the simulation helped debug the schedule optimizer's performance.