COS217

Spr '25 starter files

course link

Notes for non-Princeton students

• No access to .splintrc config file or critTer program.
• Need an arm64 Linux machine for pre-built executables.

Assignment 4

• No access to meminfo(report).
  • 1BDT/bdtBad4-5 cannot be built, hardlinked to meminfo.